Mercurial > cpdt > repo

comparison Makefile @ 214:768889c969e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish porting MoreDep
author Adam Chlipala <adamc@hcoop.net>
date Wed, 11 Nov 2009 12:21:28 -0500
parents 3227be370687
children f8bcd33bdd91
comparison
equal deleted inserted replaced
213:c4b1c0de7af9 214:768889c969e9
43 $< -o $@ 43 $< -o $@
44 44
45 latex/%.dvi: latex/%.tex 45 latex/%.dvi: latex/%.tex
46 cd latex ; latex $* ; latex $* 46 cd latex ; latex $* ; latex $*
47 47
48 %.pdf: %.dvi 48 latex/%.pdf: latex/%.dvi
49 pdflatex $< 49 cd latex ; pdflatex $* ; pdflatex $*
50 50
51 html: Makefile $(VS) src/toc.html 51 html: Makefile $(VS) src/toc.html
52 mkdir -p html 52 mkdir -p html
53 cd src ; coqdoc --interpolate $(VS_DOC) \ 53 cd src ; coqdoc --interpolate $(VS_DOC) \
54 --glob-from ../$(GLOBALS) \ 54 --glob-from ../$(GLOBALS) \