summaryrefslogtreecommitdiff
path: root/Makefile.doc
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.doc')
-rw-r--r--Makefile.doc11
1 files changed, 4 insertions, 7 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 31a0675c..bc6ae020 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -1,7 +1,5 @@
# Makefile for the Coq documentation
-# COQSRC needs to be set to a coq source repository
-
# To compile documentation, you need the following tools:
# Dvi: latex (latex2e), bibtex, makeindex
# Pdf: pdflatex
@@ -118,7 +116,7 @@ doc/refman/Reference-Manual.html: doc/refman/styles.hva doc/refman/headers.hva d
(cd doc/refman; BIBINPUTS=.: $(HEVEA) $(HEVEAOPTS) ./styles.hva ./Reference-Manual.tex)
doc/refman/cover.html: doc/common/styles/html/$(HTMLSTYLE)/cover.html
- $(INSTALLLIB) $< doc/refman
+ sed -e "s/COQVERSION/$(VERSION)/g" $< > $@
doc/refman/styles.hva: doc/common/styles/html/$(HTMLSTYLE)/styles.hva
$(INSTALLLIB) $< doc/refman
@@ -148,7 +146,7 @@ refman-quick:
######################################################################
$(INDEXURLS): $(INDEXES)
- cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@
+ cat $< | grep li-indexenv | grep href= | sed -e 's@.*>\([^<]*\)</span>.*, <a href="\([^"]*\)">.*@\1,\2@' > $@
######################################################################
@@ -322,9 +320,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: