[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. upstream/1.2-4-g3a89fc4

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 339d0f04785c0df487d5e0a807ef629ae44dbb91
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Aug 26 22:56:19 2009 +0200

    Fix doc generation

diff --git a/debian/clean b/debian/clean
deleted file mode 100644
index f3c7a7c..0000000
--- a/debian/clean
+++ /dev/null
@@ -1 +0,0 @@
-Makefile
diff --git a/debian/rules b/debian/rules
index e5808b8..bc62f05 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,7 +16,8 @@ override_dh_auto_configure: ocamlinit-stamp
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
-	$(MAKE) all html
+	$(MAKE) all
+	mkdir -p html && cd theories && coqdoc -toc -html -d ../html *.v
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
@@ -24,6 +25,7 @@ override_dh_auto_install:
 .PHONY: override_dh_clean
 override_dh_clean: ocamlinit-clean
 	dh_clean
+	rm -Rf Makefile html
 
 .PHONY: override_dh_gencontrol
 override_dh_gencontrol:

-- 
ssreflect packaging