From 6fb3dd95c31216a294accedf4529fe05dad19bf0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 19 May 2005 16:35:20 +0000
Subject: Déplacement de fonctionnalités unix et browser de ide vers lib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7041 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/options.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/options.ml')

diff --git a/lib/options.ml b/lib/options.ml
index f190519f1f..45f27107e3 100644
--- a/lib/options.ml
+++ b/lib/options.ml
@@ -117,3 +117,10 @@ let boxed_definitions = ref true
 let set_boxed_definitions b = boxed_definitions := b
 let boxed_definitions _ = !boxed_definitions 
  
+(* Options for external tools *)
+
+let browser_cmd_fmt =
+  if Sys.os_type = "Win32"
+  then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE ", ""
+  else "netscape -remote \"OpenURL(", ")\""
+  
-- 
cgit v1.2.3