comparison Makefile @ 217:6601384e7e14

Touch-ups to DataStruct
author Adam Chlipala <adamc@hcoop.net>
date Wed, 11 Nov 2009 14:34:24 -0500
parents f8bcd33bdd91
children dbac52f5bce1
comparison
equal deleted inserted replaced
216:d1464997078d 217:6601384e7e14
43 43
44 latex/%.dvi: latex/%.tex 44 latex/%.dvi: latex/%.tex
45 cd latex ; latex $* ; latex $* 45 cd latex ; latex $* ; latex $*
46 46
47 latex/%.pdf: latex/%.dvi 47 latex/%.pdf: latex/%.dvi
48 cd latex ; pdflatex $* ; pdflatex $* 48 cd latex ; pdflatex $*
49 49
50 html: Makefile $(VS) src/toc.html 50 html: Makefile $(VS) src/toc.html
51 mkdir -p html 51 mkdir -p html
52 cd src ; coqdoc --interpolate $(VS_DOC) \ 52 cd src ; coqdoc --interpolate $(VS_DOC) \
53 -d ../html 53 -d ../html