diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-10-15 19:55:12 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-10-15 19:55:12 +0000 |
| commit | 783b26ca58daa06d66776ddf1b50a20268e0c4b0 (patch) | |
| tree | 52419c783a4072ebbd789e47ccecd15ecd3418e9 /debian/patches/browser.dpatch | |
| parent | ff1dde8f1585c92dd69a9a41ad709f15ef8936da (diff) | |
New upstream release.debian/8.1.pl2+dfsg-1
Diffstat (limited to 'debian/patches/browser.dpatch')
| -rwxr-xr-x | debian/patches/browser.dpatch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/patches/browser.dpatch b/debian/patches/browser.dpatch index ba55f3de..9a15372c 100755 --- a/debian/patches/browser.dpatch +++ b/debian/patches/browser.dpatch @@ -5,15 +5,15 @@ ## DP: Use the default Debian browser for help. @DPATCH@ -diff -urNad coq-8.0pl3+8.1alpha~/lib/options.ml coq-8.0pl3+8.1alpha/lib/options.ml ---- coq-8.0pl3+8.1alpha~/lib/options.ml 2005-12-26 20:07:21.000000000 +0000 -+++ coq-8.0pl3+8.1alpha/lib/options.ml 2006-04-29 16:06:20.000000000 +0000 -@@ -117,7 +117,4 @@ +diff -urNad coq-8.1.pl2+dfsg~/lib/options.ml coq-8.1.pl2+dfsg/lib/options.ml +--- coq-8.1.pl2+dfsg~/lib/options.ml 2007-10-15 11:00:52.000000000 +0000 ++++ coq-8.1.pl2+dfsg/lib/options.ml 2007-10-15 11:01:51.000000000 +0000 +@@ -118,7 +118,4 @@ "\" must contain exactly one placeholder \"%s\".") else pre,post with - Not_found -> - if Sys.os_type = "Win32" - then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE ", "" -- else "netscape -remote \"OpenURL(", ")\"" +- else "firefox -remote \"OpenURL(", ")\"" + Not_found -> "/usr/bin/x-www-browser ", "" |