[Pkg-ocaml-maint-commits] [jocaml] 10/15: Update jocaml.install.in

[Mehdi Dogguy]

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 <mehdi at 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@
+ at 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
- at JOCamlStdlibDir@/topdirs.cmi
- at JOCamlStdlibDir@/toplevellib.cma
- at JOCamlStdlibDir@/topmain.cmi
- at JOCamlStdlibDir@/topstart.cmo
+ at JOCamlStdlibDir@/compiler-libs/topdirs.cmi
+ at JOCamlStdlibDir@/compiler-libs/topmain.cmi
+ at 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