comparison 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
comparison
equal deleted inserted replaced
12:bcf375310f5f 13:ea400f692b07
19 clean:: Makefile.coq 19 clean:: Makefile.coq
20 make -f Makefile.coq clean 20 make -f Makefile.coq clean
21 rm -f Makefile.coq .depend $(GLOBALS) \ 21 rm -f Makefile.coq .depend $(GLOBALS) \
22 latex/*.sty latex/cpdt.* 22 latex/*.sty latex/cpdt.*
23 23
24 doc: latex/cpdt.dvi html 24 doc: latex/cpdt.dvi latex/cpdt.pdf html
25 25
26 latex/cpdt.tex: $(VS) 26 latex/cpdt.tex: $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \ 27 cd src ; coqdoc --latex $(VS_DOC) \
28 -p "\usepackage{url}" -toc \ 28 -p "\usepackage{url}" -toc \
29 -o ../latex/cpdt.tex 29 -o ../latex/cpdt.tex
30 30
31 latex/cpdt.dvi: latex/cpdt.tex 31 latex/cpdt.dvi: latex/cpdt.tex
32 cd latex ; latex cpdt ; latex cpdt 32 cd latex ; latex cpdt ; latex cpdt
33 33
34 latex/cpdt.pdf: latex/cpdt.dvi
35 cd latex ; pdflatex cpdt
36
34 html: $(VS) 37 html: $(VS)
35 cd src ; coqdoc $(VS_DOC) -toc \ 38 cd src ; coqdoc $(VS_DOC) -toc \
36 --glob-from ../$(GLOBALS) \ 39 --glob-from ../$(GLOBALS) \
37 -d ../html 40 -d ../html
38 41