From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- Makefile.doc | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'Makefile.doc') 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@.*\(.*\).*, .*@\1,\2@' > $@ + cat $< | grep li-indexenv | grep href= | sed -e 's@.*>\([^<]*\).*, .*@\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: -- cgit v1.2.3