From 38db629f4be6f0a963b95a958a99bbe382b6b5d1 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 8 Aug 2008 15:41:29 +0200 Subject: Remove browser.dpatch and use --browser configure option --- debian/patches/00list | 1 - debian/patches/browser.dpatch | 19 ------------------- debian/rules | 4 +++- 3 files changed, 3 insertions(+), 21 deletions(-) delete mode 100755 debian/patches/browser.dpatch (limited to 'debian') 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 -## -## 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: -- cgit v1.2.3