Mercurial > cpdt > repo
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) \