diff options
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 11 |
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: |