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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit dbb8a5704033fb6990af449e29c6018286d4b044
Author: Stephane Glondu <steph at glondu.net>
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