Mercurial > cpdt > repo

comparison Makefile @ 210:b149a07b9b5b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Most old Sestoft suggestions processed
author Adam Chlipala <adamc@hcoop.net>
date Mon, 09 Nov 2009 13:18:46 -0500
parents b9e9ff52913c
children 3227be370687
comparison
equal deleted inserted replaced
209:90af611e2993 210:b149a07b9b5b
39 39
40 latex/%.tex: src/%.v 40 latex/%.tex: src/%.v
41 coqdoc --interpolate --latex -s $< -o $@ 41 coqdoc --interpolate --latex -s $< -o $@
42 42
43 latex/%.dvi: latex/%.tex 43 latex/%.dvi: latex/%.tex
44 latex $< ; latex $< 44 cd latex ; latex $* ; latex $*
45 45
46 latex/%.pdf: latex/%.dvi 46 %.pdf: %.dvi
47 pdflatex $< 47 pdflatex $<
48 48
49 html: Makefile $(VS) src/toc.html 49 html: Makefile $(VS) src/toc.html
50 mkdir -p html 50 mkdir -p html
51 cd src ; coqdoc --interpolate $(VS_DOC) \ 51 cd src ; coqdoc --interpolate $(VS_DOC) \