diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 177270d0..cd34b8bc 100755 --- a/debian/rules +++ b/debian/rules @@ -15,7 +15,9 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OCAMLABI := $(shell ocamlc -version) -CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all +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 &" configure: configure-stamp configure-stamp: |