Mercurial > cpdt > repo

comparison Makefile @ 206:3f4576f15130

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Revising for 8.2 through first big example
author Adam Chlipala <adamc@hcoop.net>
date Fri, 06 Nov 2009 16:44:06 -0500
parents f05514cc6c0d
children b9e9ff52913c
comparison
equal deleted inserted replaced
205:f05514cc6c0d 206:3f4576f15130
27 latex/*.sty latex/cpdt.* templates/*.v 27 latex/*.sty latex/cpdt.* templates/*.v
28 28
29 doc: latex/cpdt.dvi latex/cpdt.pdf html 29 doc: latex/cpdt.dvi latex/cpdt.pdf html
30 30
31 latex/cpdt.tex: Makefile $(VS) 31 latex/cpdt.tex: Makefile $(VS)
32 cd src ; coqdoc --latex -s $(VS_DOC) \ 32 cd src ; coqdoc --interpolate --latex -s $(VS_DOC) \
33 -p "\usepackage{url}" \ 33 -p "\usepackage{url}" \
34 -p "\title{Certified Programming with Dependent Types}" \ 34 -p "\title{Certified Programming with Dependent Types}" \
35 -p "\author{Adam Chlipala}" \ 35 -p "\author{Adam Chlipala}" \
36 -p "\iffalse" \ 36 -p "\iffalse" \
37 -o ../latex/cpdt.tex 37 -o ../latex/cpdt.tex
42 latex/cpdt.pdf: latex/cpdt.dvi 42 latex/cpdt.pdf: latex/cpdt.dvi
43 cd latex ; pdflatex cpdt 43 cd latex ; pdflatex cpdt
44 44
45 html: Makefile $(VS) src/toc.html 45 html: Makefile $(VS) src/toc.html
46 mkdir -p html 46 mkdir -p html
47 cd src ; coqdoc $(VS_DOC) \ 47 cd src ; coqdoc --interpolate $(VS_DOC) \
48 --glob-from ../$(GLOBALS) \ 48 --glob-from ../$(GLOBALS) \
49 -d ../html 49 -d ../html
50 cp src/toc.html html/ 50 cp src/toc.html html/
51 51
52 dvi: 52 dvi: