Remove browser.dpatch and use --browser configure option

3 files changed, 3 insertions, 21 deletions

diff --git a/debian/patches/00list b/debian/patches/00list
index 96c8fc3a..a86c4963 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,3 +1,2 @@
-browser
 no-complexity-test
 check
diff --git a/debian/patches/browser.dpatch b/debian/patches/browser.dpatch
deleted file mode 100755
index 15647950..00000000
--- a/debian/patches/browser.dpatch
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## browser.dpatch by Samuel Mimram <smimram@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Use the default Debian browser for help.
-
-@DPATCH@
-diff -urNad coq~/lib/flags.ml coq/lib/flags.ml
---- coq~/lib/flags.ml	2008-07-25 15:13:00.000000000 +0200
-+++ coq/lib/flags.ml	2008-07-25 15:30:47.000000000 +0200
-@@ -126,7 +126,4 @@
-   let coq_netscape_remote_var = "COQREMOTEBROWSER" in
-   Sys.getenv coq_netscape_remote_var
-  with
--  Not_found ->
--   if Sys.os_type = "Win32"
--   then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE %s"
--   else "firefox -remote \"OpenURL(%s,new-tab)\" || firefox %s &"
-+  Not_found -> "/usr/bin/x-www-browser %s &"
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: