From 02c63cbf0c7ee8feacea68b39ceaebdce69c4af8 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 1 Sep 2011 09:51:31 +0000
Subject: Coq_makefile : bug when a project file is not in the current
 directory.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14443 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ideutils.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index c6994a8d97..71ff87f004 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -328,7 +328,4 @@ let browse_keyword f text =
   try let u = Lazy.force url_for_keyword text in browse f (doc_url() ^ u)
   with Not_found -> f ("No documentation found for \""^text^"\".\n")
 
-let absolute_filename f =
-  if Filename.is_relative f then
-    Filename.concat (Sys.getcwd ()) f
-  else f
+let absolute_filename f = Minilib.correct_path f (Sys.getcwd ())
-- 
cgit v1.2.3