From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 8 Sep 2007 09:27:43 +0000 (+0000)
Subject: * convert comments in .mli interface files to ocamldoc comments
X-Git-Tag: make_still_working~6059
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d4de726bb5e630793b57db516ac8fe6ddad7848;p=helm.git

* convert comments in .mli interface files to ocamldoc comments
* bump debhelper compatibility level and dependency to 5
  - enable generation of ocamldoc api reference (via CDBS)
  - added XS-Vcs-* fields pointing to the svn repository
  - bumped build dependency on ocaml-nox to >= 3.10.0
---

diff --git a/helm/software/DEVEL/gdome_xslt/debian/changelog b/helm/software/DEVEL/gdome_xslt/debian/changelog
index 9e71ae908..1d0f2ef96 100644
--- a/helm/software/DEVEL/gdome_xslt/debian/changelog
+++ b/helm/software/DEVEL/gdome_xslt/debian/changelog
@@ -1,17 +1,19 @@
-gdome2-xslt (0.0.7-6) UNRELEASED; urgency=low
+gdome2-xslt (0.0.8-1) UNRELEASED; urgency=low
 
+  * convert comments in .mli interface files to ocamldoc comments
+  * bump debhelper compatibility level and dependency to 5
   * debian/rules
     - use ocaml.mk cdbs class
+    - enable generation of ocamldoc api reference (via CDBS)
   * debian/control
-    - added XS-X-Vcs-Svn field pointing the svn repository
-    - bumped build dependency on ocaml-nox to >= 3.09.3 since we now use
-      ocaml.mk
+    - added XS-Vcs-* fields pointing to the svn repository
+    - bumped build dependency on ocaml-nox to >= 3.10.0
   * debian/control.in
     - file removed, no longer needed
   * debian/*.dirs, debian/*.install
     - removed the files that are generated at build time
 
- -- Stefano Zacchiroli <zack@debian.org>  Sun, 17 Sep 2006 15:03:12 +0200
+ -- Stefano Zacchiroli <zack@debian.org>  Sat, 08 Sep 2007 11:16:18 +0200
 
 gdome2-xslt (0.0.7-5) unstable; urgency=low
 
diff --git a/helm/software/DEVEL/gdome_xslt/debian/compat b/helm/software/DEVEL/gdome_xslt/debian/compat
index b8626c4cf..7ed6ff82d 100644
--- a/helm/software/DEVEL/gdome_xslt/debian/compat
+++ b/helm/software/DEVEL/gdome_xslt/debian/compat
@@ -1 +1 @@
-4
+5
diff --git a/helm/software/DEVEL/gdome_xslt/debian/control b/helm/software/DEVEL/gdome_xslt/debian/control
index e878fe320..38a6232b4 100644
--- a/helm/software/DEVEL/gdome_xslt/debian/control
+++ b/helm/software/DEVEL/gdome_xslt/debian/control
@@ -2,9 +2,10 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.3), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.4), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.4), pkg-config, cdbs
+Build-Depends: debhelper (>= 5.0.0), ocaml-nox (>= 3.10.0), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.5-3), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.4), pkg-config, cdbs
 Standards-Version: 3.7.2
-XS-X-Vcs-Svn: svn://zacchiro@mowgli.cs.unibo.it/local/svn/helm/trunk/helm/software/DEVEL/gdome_xslt
+XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/DEVEL/gdome_xslt
+XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/DEVEL/gdome_xslt/
 
 Package: libgdome2-xslt0c2a
 Section: libs
@@ -34,7 +35,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml-base-nox-${F:OCamlABI}, libgdome2-ocaml (>= 0.2.4), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, libgdome2-ocaml (>= 0.2.5-3), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for a minimal GDome2 based XSLT processor
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -47,7 +48,7 @@ Description: OCaml bindings for a minimal GDome2 based XSLT processor
 Package: libgdome2-xslt-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-nox-${F:OCamlABI}, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.4), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.5-3), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
 Description: OCaml bindings for a minimal GDome2 based XSLT processor
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
diff --git a/helm/software/DEVEL/gdome_xslt/debian/rules b/helm/software/DEVEL/gdome_xslt/debian/rules
index 1d9f07717..8c4f4e747 100755
--- a/helm/software/DEVEL/gdome_xslt/debian/rules
+++ b/helm/software/DEVEL/gdome_xslt/debian/rules
@@ -2,3 +2,4 @@
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/autotools.mk
 include /usr/share/cdbs/1/class/ocaml.mk
+OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)