[Pkg-ocaml-maint-commits] [SCM] ocaml-minisat packaging branch, master, updated. upstream/0.3-5-g7cf24f7

[Pietro Abate]

The following commit has been merged in the master branch:
commit 7cf24f77fb766a97a8d0d234c3da771535a09fe7
Author: Pietro Abate <pietro.abate at pps.jussieu.fr>
Date:   Thu Apr 15 14:59:15 2010 +0200

    - add documentation
    - add shlibs:Depends

diff --git a/debian/control b/debian/control
index ac2deb5..fe62fdc 100644
--- a/debian/control
+++ b/debian/control
@@ -20,6 +20,7 @@ Architecture: any
 Section: ocaml
 Depends:
   minisat2,
+  ${ocaml:Depends},
   ${shlibs:Depends},
   ${misc:Depends}
 Recommends: ocaml-findlib
@@ -39,6 +40,7 @@ Section: ocaml
 Depends:
   minisat2,
   ${ocaml:Depends},
+  ${shlibs:Depends},
   ${misc:Depends}
 Recommends: ocaml-findlib
 Provides: ${ocaml:Provides}
diff --git a/debian/libminisat-ocaml-dev.ocamldoc b/debian/libminisat-ocaml-dev.ocamldoc
index e69de29..09d11ec 100644
--- a/debian/libminisat-ocaml-dev.ocamldoc
+++ b/debian/libminisat-ocaml-dev.ocamldoc
@@ -0,0 +1 @@
+minisat.ml
diff --git a/debian/rules b/debian/rules
index 4608b75..5b3e4b7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,6 @@ include /usr/share/cdbs/1/rules/ocaml.mk
 PKGNAME = libminisat-ocaml-dev
 DESTDIR := $(CURDIR)/debian/tmp
 DOCDIR = $(CURDIR)/debian/doc/html
-OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)
 
 OBFLAGS = -classic-display -no-hygiene
 DEB_MAKE_BUILD_TARGET = all

-- 
ocaml-minisat packaging