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

glondu pushed a commit to branch master
in repository pcre-ocaml.

commit 52e6b781926f2a37f0306bb08585e683469568d7
Author: Stephane Glondu <st...@glondu.net>
Date:   Wed Aug 3 13:54:36 2016 +0200

    Update packaging
---
 debian/libpcre-ocaml-dev.install.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/libpcre-ocaml-dev.install.in 
b/debian/libpcre-ocaml-dev.install.in
index 7ca8bae..7173864 100644
--- a/debian/libpcre-ocaml-dev.install.in
+++ b/debian/libpcre-ocaml-dev.install.in
@@ -1,6 +1,8 @@
+@OCamlStdlibDir@/pcre/*.annot
+@OCamlStdlibDir@/pcre/*.cmt*
 @OCamlStdlibDir@/pcre/*.a
 @OCamlStdlibDir@/pcre/*.ml*
 @OCamlStdlibDir@/pcre/*.cmi
 OPT: @OCamlStdlibDir@/pcre/*.cmx
 OPT: @OCamlStdlibDir@/pcre/*.cmxa
-usr/share/doc/pcre-ocaml/api usr/share/doc/libpcre-ocaml-dev
+usr/share/doc/pcre/api usr/share/doc/libpcre-ocaml-dev

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/pcre-ocaml.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