summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdebian/rules3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules
index cd34b8bc..8075e719 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: