diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
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: |