diff Makefile @ 13:ea400f692b07

Merge; make prose nicer
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 13:45:59 -0400
parents book/Makefile@7ac7f922e78e book/Makefile@bcf375310f5f
children 00366a62bd00
line wrap: on
line diff
--- a/Makefile	Wed Sep 03 13:30:05 2008 -0400
+++ b/Makefile	Wed Sep 03 13:45:59 2008 -0400
@@ -21,7 +21,7 @@
 	rm -f Makefile.coq .depend $(GLOBALS) \
 		latex/*.sty latex/cpdt.*
 
-doc: latex/cpdt.dvi html
+doc: latex/cpdt.dvi latex/cpdt.pdf html
 
 latex/cpdt.tex: $(VS)
 	cd src ; coqdoc --latex $(VS_DOC) \
@@ -31,6 +31,9 @@
 latex/cpdt.dvi: latex/cpdt.tex
 	cd latex ; latex cpdt ; latex cpdt
 
+latex/cpdt.pdf: latex/cpdt.dvi
+	cd latex ; pdflatex cpdt
+
 html: $(VS)
 	cd src ; coqdoc $(VS_DOC) -toc \
 		--glob-from ../$(GLOBALS) \