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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 2c617ef7028f37b232e6237d7a201142219e07b9
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Jun 24 11:40:29 2009 +0200

    Tools addlabels and scrapelabels are not installed by upstream anymore

diff --git a/debian/changelog b/debian/changelog
index 933477c..974019f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ jocaml (3.11.1+debian1-1) UNRELEASED; urgency=low
   * Add a patch to minimize changes in outcometree.mli and do not install
     toploop.cmi. Theses changes allow findlib to work with JoCaml without
     recompiling it (Closes: #532970).
+  * Tools addlabels and scrapelabels are not installed by upstream anymore
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 23 Jun 2009 17:51:44 +0200
 
diff --git a/debian/jocaml.install.in b/debian/jocaml.install.in
index 30c17f7..f1b8776 100644
--- a/debian/jocaml.install.in
+++ b/debian/jocaml.install.in
@@ -16,8 +16,6 @@ OPT: usr/bin/jocamlopt.opt
 @JOCamlStdlibDir@/toplevellib.cma
 @JOCamlStdlibDir@/topmain.cmi
 @JOCamlStdlibDir@/topstart.cmo
- at JOCamlStdlibDir@/addlabels
- at JOCamlStdlibDir@/scrapelabels
 @JOCamlStdlibDir@/camlheader*
 @JOCamlStdlibDir@/expunge
 @JOCamlStdlibDir@/extract_crc

-- 
jocaml packaging