Mercurial > cpdt > repo
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 |