diff options
author | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-07-27 22:39:07 +0000 |
---|---|---|
committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-07-27 22:39:07 +0000 |
commit | a3ea26b0a952ba3808ab93826f999b8523e4e08e (patch) | |
tree | 5bb903ba4b74e4805422e665f95d96e630276c78 /lib | |
parent | 7389eee1c3ae165ae11874fa7b2b5f0117f458a6 (diff) |
(Partially) Revert previous commit because of FTBFS
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11272 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
-rw-r--r-- | lib/flags.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index 0378e11fb..4743345de 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -106,4 +106,7 @@ let browser_cmd_fmt = let coq_netscape_remote_var = "COQREMOTEBROWSER" in Sys.getenv coq_netscape_remote_var with - Not_found -> Coq_config.browser + Not_found -> + if Sys.os_type = "Win32" + then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE %s" + else "firefox -remote \"OpenURL(%s,new-tab)\" || firefox %s &" |