[Pkg-ocaml-maint-commits] [reactivedata] 04/07: Update packaging
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Aug 24 09:45:03 UTC 2016
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository reactivedata.
commit e1065672de30aa6d38da0b588146aac1c2a4c8c4
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Aug 24 11:32:04 2016 +0200
Update packaging
---
debian/libreactivedata-ocaml-dev.install.in | 3 +++
1 file changed, 3 insertions(+)
diff --git a/debian/libreactivedata-ocaml-dev.install.in b/debian/libreactivedata-ocaml-dev.install.in
index adeec7a..2c7117d 100644
--- a/debian/libreactivedata-ocaml-dev.install.in
+++ b/debian/libreactivedata-ocaml-dev.install.in
@@ -1,5 +1,8 @@
@OCamlStdlibDir@/reactiveData/reactiveData.mli
@OCamlStdlibDir@/reactiveData/reactiveData.cmi
+ @OCamlStdlibDir@/reactiveData/reactiveData.cmti
OPT: @OCamlStdlibDir@/reactiveData/reactiveData.cmx
OPT: @OCamlStdlibDir@/reactiveData/reactiveData.cmxa
OPT: @OCamlStdlibDir@/reactiveData/reactiveData.a
+doc/reactiveData/README.md usr/share/doc/libreactivedata-ocaml-dev/
+doc/reactiveData/CHANGES usr/share/doc/libreactivedata-ocaml-dev/
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/reactivedata.git
More information about the Pkg-ocaml-maint-commits
mailing list