[Pkg-ocaml-maint-commits] [SCM] core packaging branch, master, updated. b8f2462fac28be994600d355b4c885c419fec5a9

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 87313ed91f554adc0fd15ab145053c72faae5eeb
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat May 3 22:13:37 2008 +0200

    ship .mli files as documentation

diff --git a/debian/libcore-ocaml-dev.install.in b/debian/libcore-ocaml-dev.install.in
new file mode 100644
index 0000000..d29db0e
--- /dev/null
+++ b/debian/libcore-ocaml-dev.install.in
@@ -0,0 +1 @@
+lib/*.mli	@OCamlStdlibDir@/core/

-- 
core packaging