diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-25 17:50:32 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-25 17:50:32 +0000 |
commit | 217bbf499dc09f11a137fdc9aead1e0a78c760c2 (patch) | |
tree | 5f04927a31181ecd8d71ac2a2dbb87b1c4442251 /Makefile.doc | |
parent | 54a84a365d3d7e9ced9b1323980b25c2d2a95545 (diff) |
Report de la révision #11175 de la branche v8.2 vers le trunk
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11176 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.doc')
-rw-r--r-- | Makefile.doc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Makefile.doc b/Makefile.doc index 946dafe33..51ac73429 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -92,7 +92,7 @@ doc/refman/Reference-Manual.pdf: $(REFMANFILES) doc/refman/Reference-Manual.tex ### Reference Manual (browsable format) doc/refman/Reference-Manual.html: doc/refman/headers.hva doc/refman/Reference-Manual.dvi # to ensure bbl file - (cd doc/refman; hevea -fix -exec xxdate.exe ./Reference-Manual.tex) + (cd doc/refman; $(HEVEA) $(HEVEAOPTS) ./Reference-Manual.tex) doc/refman/html/index.html: doc/refman/Reference-Manual.html $(REFMANPNGFILES) \ doc/refman/cover.html doc/refman/index.html @@ -106,7 +106,7 @@ doc/refman/html/index.html: doc/refman/Reference-Manual.html $(REFMANPNGFILES) \ doc/refman-quick: (cd doc/refman; \ $(PDFLATEX) Reference-Manual.tex; \ - hevea -fix -exec xxdate.exe ./Reference-Manual.tex) + $(HEVEA) $(HEVEAOPTS) ./Reference-Manual.tex) ###################################################################### @@ -120,7 +120,7 @@ doc/tutorial/Tutorial.v.pdf: $(DOCCOMMON) doc/tutorial/Tutorial.v.tex (cd doc/tutorial; $(PDFLATEX) Tutorial.v.tex) doc/tutorial/Tutorial.v.html: $(DOCCOMMON) doc/tutorial/Tutorial.v.tex - (cd doc/tutorial; hevea -exec xxdate.exe Tutorial.v) + (cd doc/tutorial; $(HEVEA) $(HEVEAOPTS) Tutorial.v) ###################################################################### @@ -138,7 +138,7 @@ doc/faq/FAQ.v.pdf: doc/common/version.tex doc/common/title.tex doc/faq/FAQ.v.dvi (cd doc/faq; $(PDFLATEX) FAQ.v.tex) doc/faq/FAQ.v.html: doc/faq/FAQ.v.dvi # to ensure FAQ.v.bbl - (cd doc/faq; hevea -fix FAQ.v.tex) + (cd doc/faq; $(HEVEA) $(HEVEAOPTS) FAQ.v.tex) doc/faq/html/index.html: doc/faq/FAQ.v.html - rm -rf doc/faq/html @@ -196,7 +196,7 @@ doc/RecTutorial/RecTutorial.v.pdf: doc/common/version.tex doc/common/title.tex d (cd doc/RecTutorial; $(PDFLATEX) RecTutorial.v.tex) doc/RecTutorial/RecTutorial.v.html: doc/RecTutorial/RecTutorial.v.tex - (cd doc/RecTutorial; hevea -exec xxdate.exe RecTutorial.v) + (cd doc/RecTutorial; $(HEVEA) $(HEVEAOPTS) RecTutorial.v) ###################################################################### # Index file for CoqIDE |