[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-2-ge710d03

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit e710d03ebbe20e82e655421bce4598271fdf50e8
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Jun 13 16:50:02 2009 +0200

    Install toplevel library

diff --git a/debian/changelog b/debian/changelog
index 6da3018..6d8b072 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 jocaml (3.11.0-4) UNRELEASED; urgency=low
 
   * UNRELEASED
+  * Install toplevel library, Closes: #532989.
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 07 Apr 2009 16:37:31 +0200
 
diff --git a/debian/jocaml.install.in b/debian/jocaml.install.in
index 92c8ad3..23e5c0b 100644
--- a/debian/jocaml.install.in
+++ b/debian/jocaml.install.in
@@ -12,6 +12,11 @@ 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@/toploop.cmi
+ at JOCamlStdlibDir@/topmain.cmi
+ at JOCamlStdlibDir@/topstart.cmo
 @JOCamlStdlibDir@/addlabels
 @JOCamlStdlibDir@/scrapelabels
 @JOCamlStdlibDir@/camlheader*

-- 
jocaml packaging