This is an automated email from the git hooks/post-receive script.

josch-guest pushed a commit to branch master
in repository ocp-indent.

commit 4dd1cd2356680676ea5a41865da552124cd1b826
Author: josch <j.scha...@email.de>
Date:   Thu Mar 6 15:30:04 2014 +0100

    add cmxs to lib
---
 debian/libocp-indent-lib-ocaml-dev.install.in | 2 +-
 debian/libocp-indent-lib-ocaml.install.in     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/libocp-indent-lib-ocaml-dev.install.in 
b/debian/libocp-indent-lib-ocaml-dev.install.in
index a7ffa3a..748c56f 100644
--- a/debian/libocp-indent-lib-ocaml-dev.install.in
+++ b/debian/libocp-indent-lib-ocaml-dev.install.in
@@ -1,3 +1,3 @@
-@OCamlStdlibDir@/ocp-indent-lib/*.cm{o,i,x}*
+@OCamlStdlibDir@/ocp-indent-lib/*.cm{o,i,x,xa}
 @OCamlStdlibDir@/ocp-indent-lib/*.{o,a}
 @OCamlStdlibDir@/ocp-indent-lib/*.ml*
diff --git a/debian/libocp-indent-lib-ocaml.install.in 
b/debian/libocp-indent-lib-ocaml.install.in
index bb7d806..41ddf0b 100644
--- a/debian/libocp-indent-lib-ocaml.install.in
+++ b/debian/libocp-indent-lib-ocaml.install.in
@@ -1,2 +1,3 @@
 @OCamlStdlibDir@/ocp-indent-lib/META
 @OCamlStdlibDir@/ocp-indent-lib/ocp-indent-lib.cma
+@OCamlStdlibDir@/ocp-indent-lib/ocp-indent-lib.cmxs

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocp-indent.git

_______________________________________________
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

Reply via email to