comparison Makefile @ 284:693897f8e0cb

PC comments for DataStruct
author Adam Chlipala <adam@chlipala.net>
date Fri, 05 Nov 2010 13:48:39 -0400
parents caa69851c78d
children b441010125d4
comparison
equal deleted inserted replaced
283:756ce68e42fb 284:693897f8e0cb
34 -p "\title{Certified Programming with Dependent Types}" \ 34 -p "\title{Certified Programming with Dependent Types}" \
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 39 latex/%.tex: src/%.v src/%.glob
40 cd src ; coqdoc --interpolate --latex -s \ 40 cd src ; coqdoc --interpolate --latex -s \
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