[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-35-g929b2cb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8f13a6ec62fd1e0b53313e6a073b22fdb2774d32
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jul 21 21:49:06 2010 +0200

    isntall only mli

diff --git a/debian/libdose3-ocaml-dev.install.in b/debian/libdose3-ocaml-dev.install.in
index 700c87f..be3a836 100644
--- a/debian/libdose3-ocaml-dev.install.in
+++ b/debian/libdose3-ocaml-dev.install.in
@@ -1,2 +1 @@
 */*.mli	    @OCamlStdlibDir@/dose3/
-*/*.cma	    @OCamlStdlibDir@/dose3/

-- 
dose3 packaging