The following commit has been merged in the master branch:
commit d6c7661cea5a874663179d806199634b7c4076ed
Author: Stephane Glondu <[EMAIL PROTECTED]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
