Mercurial > cpdt > repo

comparison Makefile @ 208:b9e9ff52913c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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) \