[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d6c7661cea5a874663179d806199634b7c4076ed
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 16:02:40 2008 +0200

    Fix building of (stdlib) doc

diff --git a/debian/rules b/debian/rules
index a9bd3b6..5151c91 100755
--- a/debian/rules
+++ b/debian/rules
@@ -51,7 +51,7 @@ build-stamp: patch-stamp configure-stamp
 		$(MAKE) BEST=byte HASCOQIDE=byte glob.dump; \
 	fi
 	cp tools/coqdoc/coqdoc.sty doc/stdlib/
-	$(MAKE) -C doc stdlib/html/index.html
+	$(MAKE) -f Makefile.stage3 doc/stdlib/html/index.html COQDOC="bin/coqdoc --coqlib_path `pwd`"
 	touch build-stamp
 
 clean: unpatch

-- 
coq packaging