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.

---
 Makefile.doc    | 5 ++---
 ide/ideutils.ml | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/Makefile.doc b/Makefile.doc
index 6dc27e138d..59382b9de7 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -328,9 +328,8 @@ install-doc-printable:
 	$(INSTALLLIB) doc/faq/FAQ.v.ps $(FULLDOCDIR)/ps/FAQ.ps
 
 install-doc-index-urls:
-	$(MKDIR) $(FULLDOCDIR)/ps $(FULLDOCDIR)/pdf
-	$(INSTALLLIB) $(INDEXURLS) \
-		$(FULLDOCDIR)/html/refman 
+	$(MKDIR) $(FULLDATADIR)
+	$(INSTALLLIB) $(INDEXURLS) $(FULLDATADIR)
 
 # For emacs:
 # Local Variables:
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