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