[Pkg-ocaml-maint-commits] [SCM] js-of-ocaml packaging branch, master, updated. debian/1.0.7-1-12-g9e97e16

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7dc0788e036fe854ab4d56ae0a188f620c907e6e
Author: Stephane Glondu <steph at 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
+ at 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