Mercurial > cpdt > repo

comparison Makefile @ 21:00366a62bd00

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper title and copyright pages
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 16:37:51 -0400
parents ea400f692b07
children 91e247c68ee8
comparison
equal deleted inserted replaced
20:c0cbf324ec7d 21:00366a62bd00
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 latex/cpdt.pdf html 24 doc: latex/cpdt.dvi latex/cpdt.pdf html
25 25
26 latex/cpdt.tex: $(VS) 26 latex/cpdt.tex: Makefile $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \ 27 cd src ; coqdoc --latex $(VS_DOC) \
28 -p "\usepackage{url}" -toc \ 28 -p "\usepackage{url}" \
29 -p "\title{Certified Programming with Dependent Types}" \
30 -p "\author{Adam Chlipala}" \
31 -p "\iffalse" \
29 -o ../latex/cpdt.tex 32 -o ../latex/cpdt.tex
30 33
31 latex/cpdt.dvi: latex/cpdt.tex 34 latex/cpdt.dvi: latex/cpdt.tex
32 cd latex ; latex cpdt ; latex cpdt 35 cd latex ; latex cpdt ; latex cpdt
33 36
34 latex/cpdt.pdf: latex/cpdt.dvi 37 latex/cpdt.pdf: latex/cpdt.dvi
35 cd latex ; pdflatex cpdt 38 cd latex ; pdflatex cpdt
36 39
37 html: $(VS) 40 html: Makefile $(VS)
38 cd src ; coqdoc $(VS_DOC) -toc \ 41 cd src ; coqdoc $(VS_DOC) -toc \
39 --glob-from ../$(GLOBALS) \ 42 --glob-from ../$(GLOBALS) \
40 -d ../html 43 -d ../html
41 44
42 dvi: 45 dvi: