From 9973cd2ca529076388710e90f2c46180581397cf Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 24 Oct 2014 18:37:10 +0200
Subject: Install index_urls.txt in a location where coqide might actually find
 it.

---
 ide/ideutils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 945e425c6c..006b41cc40 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -385,7 +385,7 @@ let url_for_keyword =
         let cin =
           try let index_urls = Filename.concat (List.find
             (fun x -> Sys.file_exists (Filename.concat x "index_urls.txt"))
-            (Minilib.coqide_config_dirs ())) "index_urls.txt" in
+            (Minilib.coqide_data_dirs ())) "index_urls.txt" in
             open_in index_urls
           with Not_found ->
             let doc_url = doc_url () in
-- 
cgit v1.2.3