The following commit has been merged in the master branch:
commit dbb8a5704033fb6990af449e29c6018286d4b044
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 13:28:00 2008 +0200
Disable compiling/installing doc
diff --git a/debian/rules b/debian/rules
index cd34b8b..8075e71 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,7 +17,8 @@ OCAMLABI := $(shell ocamlc -version)
CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
--emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all \
- --browser "/usr/bin/x-www-browser %s &"
+ --browser "/usr/bin/x-www-browser %s &" \
+ --with-doc no
configure: configure-stamp
configure-stamp:
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
