diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-29 15:06:11 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-29 15:06:11 +0000 |
commit | c13e5b7996603447470439144a58b4fa81119067 (patch) | |
tree | 085d67aa1c039d4e79308e5508bee1662eac3f90 /Makefile.doc | |
parent | aa77afa9d828d0bbb5d6fd5faf2e971b515a19fd (diff) |
Dépendance des cibles de la documentation envers les cibles de Coq
(devrait résoudre les problèmes avec 'make -j world')
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11519 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.doc')
-rw-r--r-- | Makefile.doc | 26 |
1 files changed, 9 insertions, 17 deletions
diff --git a/Makefile.doc b/Makefile.doc index d8ef10293..5fd32f098 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -13,7 +13,7 @@ .PHONY: doc doc-html doc-pdf doc-ps refman tutorial stdlib faq rectutorial -doc: doc-html doc-pdf doc-ps ide/index_urls.txt +doc: refman faq tutorial rectutorial stdlib doc-html:\ doc/tutorial/Tutorial.v.html doc/refman/html/index.html \ @@ -27,33 +27,25 @@ doc-ps:\ doc/tutorial/Tutorial.v.ps doc/refman/Reference-Manual.ps \ doc/faq/FAQ.v.ps doc/stdlib/Library.ps doc/RecTutorial/RecTutorial.v.ps -refman: coq - $(MAKE) -f Makefile.stage3 refman-nodep - -refman-nodep:\ +refman: \ doc/refman/html/index.html doc/refman/Reference-Manual.ps doc/refman/Reference-Manual.pdf -tutorial:\ +tutorial: \ doc/tutorial/Tutorial.v.html doc/tutorial/Tutorial.v.ps doc/tutorial/Tutorial.v.pdf -stdlib: $(THEORIESVO) $(COQDOC) - $(MAKE) -f Makefile.stage3 stdlib-nodep - -stdlib-nodep:\ +stdlib: \ doc/stdlib/html/index.html doc/stdlib/Library.ps doc/stdlib/Library.pdf -faq:\ - doc/faq/html/index.html doc/faq/FAQ.v.ps doc/faq/FAQ.v.pdf +faq: doc/faq/html/index.html doc/faq/FAQ.v.ps doc/faq/FAQ.v.pdf -rectutorial:\ - doc/RecTutorial/RecTutorial.v.html \ +rectutorial: doc/RecTutorial/RecTutorial.v.html \ doc/RecTutorial/RecTutorial.v.ps doc/RecTutorial/RecTutorial.v.pdf ###################################################################### ### Implicit rules ###################################################################### -%.v.tex: %.tex +%.v.tex: %.tex | $(COQTEX) $(COQTOPEXE) coqlib (cd `dirname $<`; $(COQSRC)/$(COQTEX) $(COQTEXOPTS) `basename $<`) %.ps: %.dvi @@ -158,7 +150,7 @@ doc/faq/html/index.html: doc/faq/FAQ.v.html ### Standard library (browsable html format) -doc/stdlib/index-body.html: +doc/stdlib/index-body.html: | $(COQDOC) $(THEORIESVO) - rm -rf doc/stdlib/html $(MKDIR) doc/stdlib/html $(COQDOC) -q -d doc/stdlib/html --multi-index --html \ @@ -175,7 +167,7 @@ doc/stdlib/html/index.html: doc/stdlib/index-list.html doc/stdlib/index-body.htm ### Standard library (light version, full version is definitely too big) -doc/stdlib/Library.coqdoc.tex: +doc/stdlib/Library.coqdoc.tex: | $(COQDOC) $(THEORIESLIGHTVO) $(COQSRC)/$(COQDOC) -q --gallina --body-only --latex --stdout \ -R theories Coq $(THEORIESLIGHTVO:.vo=.v) >> $@ |