From 14dfd1bdc766f29de07dcf199eb2ee9b2e8ca382 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 19 Sep 2011 10:13:48 +0000
Subject: Makefile.doc: typo, index_url.txt should be index_urls.txt

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14481 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.doc | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Makefile.doc b/Makefile.doc
index 42f9bf7aaa..e898b1fffa 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -14,7 +14,7 @@
 .PHONY: doc doc-html doc-pdf doc-ps refman refman-quick tutorial
 .PHONY: stdlib full-stdlib faq rectutorial
 
-INDEXURLS:=doc/refman/html/index_url.txt
+INDEXURLS:=doc/refman/html/index_urls.txt
 
 doc: refman faq tutorial rectutorial stdlib $(INDEXURLS)
 
@@ -145,7 +145,7 @@ refman-quick:
 # Index file for CoqIDE
 ######################################################################
 
-doc/refman/html/index_url.txt: $(INDEXES)
+$(INDEXURLS): $(INDEXES)
 	cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@
 
 
@@ -298,9 +298,9 @@ doc/RecTutorial/RecTutorial.html: doc/RecTutorial/RecTutorial.tex
 # Install all documentation files
 ######################################################################
 
-.PHONY: install-doc install-doc-meta install-doc-html install-doc-printable install-doc-index-url
+.PHONY: install-doc install-doc-meta install-doc-html install-doc-printable install-doc-index-urls
 
-install-doc: install-doc-meta install-doc-html install-doc-printable install-doc-index-url
+install-doc: install-doc-meta install-doc-html install-doc-printable install-doc-index-urls
 
 install-doc-meta:
 	$(MKDIR) $(FULLDOCDIR)
@@ -327,9 +327,9 @@ install-doc-printable:
 	$(INSTALLLIB) doc/RecTutorial/RecTutorial.ps $(FULLDOCDIR)/ps/RecTutorial.ps
 	$(INSTALLLIB) doc/faq/FAQ.v.ps $(FULLDOCDIR)/ps/FAQ.ps
 
-install-doc-index-url:
+install-doc-index-urls:
 	$(MKDIR) $(FULLDOCDIR)/ps $(FULLDOCDIR)/pdf
-	$(INSTALLLIB) doc/refman/html/index_urls.txt \
+	$(INSTALLLIB) $(INDEXURLS) \
 		$(FULLDOCDIR)/html/refman 
 
 # For emacs:
-- 
cgit v1.2.3