diff options
| author |  Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
|---|---|---|
| committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
| commit | 7cfc4e5146be5666419451bdd516f1f3f264d24a (patch) | |
| tree | e4197645da03dc3c7cc84e434cc31d0a0cca7056 /Makefile.doc | |
| parent | 420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff) | |
Imported Upstream version 8.5~beta1+dfsg
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: |