The following commit has been merged in the master branch:
commit 7dc0788e036fe854ab4d56ae0a188f620c907e6e
Author: Stephane Glondu <st...@glondu.net>
Date: Tue Nov 29 07:32:51 2011 +0100
Install *.mli and *.cmx
diff --git a/debian/libjs-of-ocaml-dev.install.in
b/debian/libjs-of-ocaml-dev.install.in
index d962411..8af6054 100644
--- a/debian/libjs-of-ocaml-dev.install.in
+++ b/debian/libjs-of-ocaml-dev.install.in
@@ -1,5 +1,7 @@
@OCamlStdlibDir@/js_of_ocaml/*.js
@OCamlStdlibDir@/js_of_ocaml/*.a
@OCamlStdlibDir@/js_of_ocaml/*.cmi
+@OCamlStdlibDir@/js_of_ocaml/*.mli
@OCamlStdlibDir@/js_of_ocaml/pa_*.cmo
+OPT: @OCamlStdlibDir@/js_of_ocaml/*.cmx
OPT: @OCamlStdlibDir@/js_of_ocaml/*.cmxa
--
js-of-ocaml packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
