[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. debian/1.3-1-16-g54647b3

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 6adc7b0eb353e7a91818589be98d872686a42b38
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Jul 17 17:02:21 2008 +0200

    ship .mli files

diff --git a/debian/changelog b/debian/changelog
index 2834395..6de6ae1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ dose2 (1.3.2-1) experimental; urgency=low
 
   * new upstream release
     - clarify licensing/copyright issues
+  * ship .mli files in the -dev package
   * debian/control
     - add missing deps on librpm-dev and libgdbm-dev from the -dev package
     - remove spurious self-dependency: libdose2-ocaml -> libdose2-ocaml
diff --git a/debian/libdose2-ocaml-dev.install.in b/debian/libdose2-ocaml-dev.install.in
new file mode 100644
index 0000000..ad12800
--- /dev/null
+++ b/debian/libdose2-ocaml-dev.install.in
@@ -0,0 +1 @@
+*/*.mli	    @OCamlStdlibDir@/dose2/

-- 
dose2 packaging