[Pkg-ocaml-maint-commits] [pcre-ocaml] 17/18: Update packaging
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Aug 3 11:58:37 UTC 2016
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 <steph at 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 @@
+ at OCamlStdlibDir@/pcre/*.annot
+ at 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
More information about the Pkg-ocaml-maint-commits
mailing list