Mercurial > cpdt > repo

diff book/Makefile @ 8:7ac7f922e78e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First cut at Intro done
author Adam Chlipala <adamc@hcoop.net>
date Mon, 01 Sep 2008 10:25:40 -0400
parents aa32e9f63da0
children
line wrap: on
line diff
--- a/book/Makefile	Mon Sep 01 10:00:09 2008 -0400
+++ b/book/Makefile	Mon Sep 01 10:25:40 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) \