From 6af2902ddd8ea6d4171b882726e9bb4d2fc45748 Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 14 Aug 2009 14:02:23 +0000 Subject: Tried to make F1 documentation tool working in CoqIDE. In trunk: New strategy for compiling and finding index_url.txt. After all, this file is not specific to CoqIDE but to the documentation. Hence, it seems better to install it close to the documentation. If the documentation is locally installed, it is easy to find the file index_url.txt but what to do if the documentation is remote? We would need a http getter. Does this mean we have to rely on wget or so? In the absence of answer to this question, it seems reasonable, first to assume the doc to be locally installed, second to have a local copy of index_url.txt ready in the installation directory of CoqIDE. Also added an "automatic" field in the CoqIDE url preference to prevent the user to have to update his preference file every time a new version of Coq is out and the link to the doc change. In 8.2: Added a minima the installation of index_urls.txt but the user will have to update its preferences because the links "http://coq.inria.fr/doc/Reference-Manual010.html#..." do not longer exist. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12278 85f007b7-540e-0410-9357-904b9bb8a0f7 --- config/coq_config.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'config') diff --git a/config/coq_config.mli b/config/coq_config.mli index 5294ee6f1..2cd1e4543 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -67,4 +67,5 @@ val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *) val wwwcoq : string val wwwrefman : string val wwwstdlib : string +val localwwwrefman : string -- cgit v1.2.3