diff options
author | 2008-07-25 15:39:04 +0200 | |
---|---|---|
committer | 2008-07-25 15:39:04 +0200 | |
commit | 56f3368635e32e891701859d8345fb98b7da6fd7 (patch) | |
tree | 4ceb6fc1dd71d7ad626cedeb4ce1cb247dd2ab3e /debian/patches/browser.dpatch | |
parent | d5e0af8d900a4556ea1f043a9c350ee1dc6be0cf (diff) |
Updated and removed old patches.
Diffstat (limited to 'debian/patches/browser.dpatch')
-rwxr-xr-x | debian/patches/browser.dpatch | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/debian/patches/browser.dpatch b/debian/patches/browser.dpatch index 9a15372c..15647950 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.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 +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 ", "" -- else "firefox -remote \"OpenURL(", ")\"" -+ Not_found -> "/usr/bin/x-www-browser ", "" +- 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 &" |