Mercurial > cpdt > repo

comparison Makefile @ 302:7b38729be069

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweak mark-up to support coqdoc 8.3
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 15:12:30 -0500
parents b441010125d4
children 690796f4690d
comparison
equal deleted inserted replaced
301:f4768d5a75eb 302:7b38729be069
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
38 38
39 latex/%.tex: src/%.v src/%.glob 39 latex/%.tex: src/%.v src/%.glob
40 cd src ; coqdoc --interpolate --latex -s \ 40 cd src ; coqdoc --interpolate --latex \
41 -p "\usepackage{url,amsmath,amssymb}" \ 41 -p "\usepackage{url,amsmath,amssymb}" \
42 $*.v -o ../latex/$*.tex 42 $*.v -o ../latex/$*.tex
43 43
44 latex/%.dvi: latex/%.tex 44 latex/%.dvi: latex/%.tex
45 cd latex ; latex $* ; latex $* 45 cd latex ; latex $* ; latex $*