Mercurial > cpdt > repo

diff book/Makefile @ 5:aa32e9f63da0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 17:20:57 -0400
parents f913d32a49e4
children 7ac7f922e78e
line wrap: on
line diff
--- a/book/Makefile	Fri Aug 29 16:41:49 2008 -0400
+++ b/book/Makefile	Fri Aug 29 17:20:57 2008 -0400
@@ -25,14 +25,14 @@
 
 latex/cpdt.tex: $(VS)
 	cd src ; coqdoc --latex $(VS_DOC) \
-		-p "\usepackage{url}" \
+		-p "\usepackage{url}" -toc \
 		-o ../latex/cpdt.tex
 
 latex/cpdt.dvi: latex/cpdt.tex
-	cd latex ; latex cpdt
+	cd latex ; latex cpdt ; latex cpdt
 
 html: $(VS)
-	cd src ; coqdoc $(VS_DOC) \
+	cd src ; coqdoc $(VS_DOC) -toc \
 		--glob-from ../$(GLOBALS) \
 		-d ../html