This is an automated email from the git hooks/post-receive script.
bengen pushed a commit to branch master
in repository lambda-term.
commit bcc432ddcd770d31cc38e20814fa414436e32f27
Author: Hilko Bengen <ben...@debian.org>
Date: Wed Jan 6 15:34:03 2016 +0100
Install *.annot, *.cmt, *.cmti to -dev package
---
debian/liblambda-term-ocaml-dev.install.in | 3 +++
1 file changed, 3 insertions(+)
diff --git a/debian/liblambda-term-ocaml-dev.install.in
b/debian/liblambda-term-ocaml-dev.install.in
index b823fce..4a925b6 100644
--- a/debian/liblambda-term-ocaml-dev.install.in
+++ b/debian/liblambda-term-ocaml-dev.install.in
@@ -1,5 +1,8 @@
usr/share/doc/liblambda-term-ocaml-dev
+@OCamlStdlibDir@/lambda-term/*.annot
@OCamlStdlibDir@/lambda-term/*.cmi
+@OCamlStdlibDir@/lambda-term/*.cmt
+@OCamlStdlibDir@/lambda-term/*.cmti
@OCamlStdlibDir@/lambda-term/*.mli
@OCamlStdlibDir@/lambda-term/*.cmx
OPT: @OCamlStdlibDir@/lambda-term/*.cmxa
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lambda-term.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
