[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. debian/1.3-1-16-g54647b3

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 57e61fbd44b67e9db416ed4341066336030160bb
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Jul 17 17:02:49 2008 +0200

    build and ship ocamldoc API documentation

diff --git a/debian/changelog b/debian/changelog
index 6de6ae1..551da13 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,6 +10,7 @@ dose2 (1.3.2-1) experimental; urgency=low
   * debian/copyright
     - add specific licensing information for satsolver/*
     - add Inria Rocquencourt as copyright owner
+  * generate ocamldoc documentation for libdose2-ocaml-dev
   * install *.cmi-s under STDLIB/dose2/, rather then STDLIB/ directly
 
  -- Stefano Zacchiroli <zack at debian.org>  Thu, 17 Jul 2008 16:18:16 +0200
diff --git a/debian/rules b/debian/rules
index 22322e1..563f0e1 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,3 +19,4 @@ install/$(DEV_PKG_NAME)::
 	mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/$(LIB_NAME)/*.so \
 		debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
 
+OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)

-- 
dose2 packaging