Mercurial > cpdt > repo

comparison Makefile @ 212:3227be370687

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Ported Subset
author Adam Chlipala <adamc@hcoop.net>
date Mon, 09 Nov 2009 15:43:56 -0500
parents b149a07b9b5b
children 768889c969e9
comparison
equal deleted inserted replaced
211:d06726f49bc6 212:3227be370687
36 -p "\author{Adam Chlipala}" \ 36 -p "\author{Adam Chlipala}" \
37 -p "\iffalse" \ 37 -p "\iffalse" \
38 -o ../latex/cpdt.tex 38 -o ../latex/cpdt.tex
39 39
40 latex/%.tex: src/%.v 40 latex/%.tex: src/%.v
41 coqdoc --interpolate --latex -s $< -o $@ 41 coqdoc --interpolate --latex -s \
42 -p "\usepackage{url}" \
43 $< -o $@
42 44
43 latex/%.dvi: latex/%.tex 45 latex/%.dvi: latex/%.tex
44 cd latex ; latex $* ; latex $* 46 cd latex ; latex $* ; latex $*
45 47
46 %.pdf: %.dvi 48 %.pdf: %.dvi