From 7389eee1c3ae165ae11874fa7b2b5f0117f458a6 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 27 Jul 2008 22:34:44 +0000
Subject: Add -browser option to configure script

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11271 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index f72fa33c5..e8c1b5304 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -38,3 +38,7 @@ val contrib_dirs : string list
 
 val exec_extension : string (* "" under Unix, ".exe" under MS-windows *)
 val with_geoproof : bool ref (* to (de)activate functions specific to Geoproof with Coqide *)
+
+val browser : string
+(** default web browser to use, may be overriden by environment
+    variable COQREMOTEBROWSER *)
-- 
cgit v1.2.3