Mercurial > cpdt > repo
comparison Makefile @ 282:caa69851c78d
Subset suggestions from PC; improvements to build process for coqdoc fontification
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 05 Nov 2010 10:35:56 -0400 |
parents | dce88a5c170c |
children | 693897f8e0cb |
comparison
equal
deleted
inserted
replaced
281:4146889930c5 | 282:caa69851c78d |
---|---|
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 |
40 coqdoc --interpolate --latex -s \ | 40 cd src ; coqdoc --interpolate --latex -s \ |
41 -p "\usepackage{url,amsmath,amssymb}" \ | 41 -p "\usepackage{url,amsmath,amssymb}" \ |
42 $< -o $@ | 42 $*.v -o ../latex/$*.tex |
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 |