Mercurial > cpdt > repo
comparison Makefile @ 208:b9e9ff52913c
Port InductiveTypes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 09 Nov 2009 11:09:50 -0500 |
parents | 3f4576f15130 |
children | b149a07b9b5b |
comparison
equal
deleted
inserted
replaced
207:a7be5d9a2fd4 | 208:b9e9ff52913c |
---|---|
23 | 23 |
24 clean:: Makefile.coq | 24 clean:: Makefile.coq |
25 make -f Makefile.coq clean | 25 make -f Makefile.coq clean |
26 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \ | 26 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \ |
27 latex/*.sty latex/cpdt.* templates/*.v | 27 latex/*.sty latex/cpdt.* templates/*.v |
28 rm -f *.aux *.dvi *.log | |
28 | 29 |
29 doc: latex/cpdt.dvi latex/cpdt.pdf html | 30 doc: latex/cpdt.dvi latex/cpdt.pdf html |
30 | 31 |
31 latex/cpdt.tex: Makefile $(VS) | 32 latex/cpdt.tex: Makefile $(VS) |
32 cd src ; coqdoc --interpolate --latex -s $(VS_DOC) \ | 33 cd src ; coqdoc --interpolate --latex -s $(VS_DOC) \ |
34 -p "\title{Certified Programming with Dependent Types}" \ | 35 -p "\title{Certified Programming with Dependent Types}" \ |
35 -p "\author{Adam Chlipala}" \ | 36 -p "\author{Adam Chlipala}" \ |
36 -p "\iffalse" \ | 37 -p "\iffalse" \ |
37 -o ../latex/cpdt.tex | 38 -o ../latex/cpdt.tex |
38 | 39 |
39 latex/cpdt.dvi: latex/cpdt.tex | 40 latex/%.tex: src/%.v |
40 cd latex ; latex cpdt ; latex cpdt | 41 coqdoc --interpolate --latex -s $< -o $@ |
41 | 42 |
42 latex/cpdt.pdf: latex/cpdt.dvi | 43 latex/%.dvi: latex/%.tex |
43 cd latex ; pdflatex cpdt | 44 latex $< ; latex $< |
45 | |
46 latex/%.pdf: latex/%.dvi | |
47 pdflatex $< | |
44 | 48 |
45 html: Makefile $(VS) src/toc.html | 49 html: Makefile $(VS) src/toc.html |
46 mkdir -p html | 50 mkdir -p html |
47 cd src ; coqdoc --interpolate $(VS_DOC) \ | 51 cd src ; coqdoc --interpolate $(VS_DOC) \ |
48 --glob-from ../$(GLOBALS) \ | 52 --glob-from ../$(GLOBALS) \ |