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

mehdi pushed a commit to branch master
in repository jocaml.

commit 018d550671a5bda556e7b50bf69d018ecc8a8b1d
Author: Mehdi Dogguy <me...@debian.org>
Date:   Thu May 8 23:09:11 2014 +0200

    Update jocaml.install.in
---
 debian/jocaml.dirs.in    | 1 +
 debian/jocaml.install.in | 7 +++----
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/jocaml.dirs.in b/debian/jocaml.dirs.in
index 28f3ef0..5c2177f 100644
--- a/debian/jocaml.dirs.in
+++ b/debian/jocaml.dirs.in
@@ -1,4 +1,5 @@
 usr/bin
 @JOCamlStdlibDir@
+@JOCamlStdlibDir@/compiler-libs
 @JOCamlStdlibDir@/jocamltoploop
 usr/share/lintian/overrides
diff --git a/debian/jocaml.install.in b/debian/jocaml.install.in
index f1b8776..f8ff48c 100644
--- a/debian/jocaml.install.in
+++ b/debian/jocaml.install.in
@@ -12,10 +12,9 @@ OPT: usr/bin/jocamldep.opt
 OPT: usr/bin/jocamllex.opt
 OPT: usr/bin/jocamlopt
 OPT: usr/bin/jocamlopt.opt
-@JOCamlStdlibDir@/topdirs.cmi
-@JOCamlStdlibDir@/toplevellib.cma
-@JOCamlStdlibDir@/topmain.cmi
-@JOCamlStdlibDir@/topstart.cmo
+@JOCamlStdlibDir@/compiler-libs/topdirs.cmi
+@JOCamlStdlibDir@/compiler-libs/topmain.cmi
+@JOCamlStdlibDir@/compiler-libs/topstart.cmo
 @JOCamlStdlibDir@/camlheader*
 @JOCamlStdlibDir@/expunge
 @JOCamlStdlibDir@/extract_crc

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