[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-16-g9a1d54d

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 9a1d54d9d30f6b973c1c0c59abe6dfb0dfb7b37e
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 16:52:32 2009 +0100

    Build and install documentation.

diff --git a/debian/control b/debian/control
index ee5353a..1bb290a 100644
--- a/debian/control
+++ b/debian/control
@@ -11,6 +11,7 @@ Build-Depends:
  dh-ocaml (>= 0.9),
  libgmp3-dev,
  libmpfr-dev,
+ texi2html (>= 1.82),
  quilt
 Standards-Version: 3.8.3
 Homepage: http://apron.cri.ensmp.fr/library/
@@ -31,7 +32,7 @@ Description: Runtime libraries for APRON
  .
  This package contains the shared libraries needed at runtime.
 
-Package: liblapron-dev
+Package: libapron-dev
 Section: libdevel
 Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends},
@@ -46,7 +47,7 @@ Description: An abstract interpretation library
  additional services that can be implemented independently from the underlying
  library/abstract domain.
  .
- This pacakge contains the files necessary to use the APRON library in C.
+ This package contains the files necessary to use the APRON library in C.
 
 Package: libapron-ocaml
 Section: ocaml
diff --git a/debian/libapron-dev.docs b/debian/libapron-dev.docs
index 5323396..c9a72ff 100644
--- a/debian/libapron-dev.docs
+++ b/debian/libapron-dev.docs
@@ -1 +1,2 @@
+apron/apron/html
 debian/README.source
diff --git a/debian/libapron-ocaml-dev.docs b/debian/libapron-ocaml-dev.docs
index 5323396..c95bac8 100644
--- a/debian/libapron-ocaml-dev.docs
+++ b/debian/libapron-ocaml-dev.docs
@@ -1 +1,2 @@
+apron/mlapronidl/html
 debian/README.source
diff --git a/debian/rules b/debian/rules
index 10ab3fe..17a852a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,6 +22,8 @@ endif
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
 	$(MAKE)
+	$(MAKE) -C apron/apron html
+	-$(MAKE) -C apron/mlapronidl html
 
 .PHONY: override_dh_auto_clean
 override_dh_auto_clean:

-- 
apron packaging