diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 15:41:29 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 15:41:29 +0200 |
| commit | 38db629f4be6f0a963b95a958a99bbe382b6b5d1 (patch) | |
| tree | 24ad74ded15f1bfd4744360f0151c0df3b5367fb /debian/rules | |
| parent | 1950fa2f34bb93fe514e9035284073221c1cbba6 (diff) | |
Remove browser.dpatch and use --browser configure option
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: |