Mercurial > cpdt > repo
comparison Makefile @ 212:3227be370687
Ported Subset
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 09 Nov 2009 15:43:56 -0500 |
parents | b149a07b9b5b |
children | 768889c969e9 |
comparison
equal
deleted
inserted
replaced
211:d06726f49bc6 | 212:3227be370687 |
---|---|
36 -p "\author{Adam Chlipala}" \ | 36 -p "\author{Adam Chlipala}" \ |
37 -p "\iffalse" \ | 37 -p "\iffalse" \ |
38 -o ../latex/cpdt.tex | 38 -o ../latex/cpdt.tex |
39 | 39 |
40 latex/%.tex: src/%.v | 40 latex/%.tex: src/%.v |
41 coqdoc --interpolate --latex -s $< -o $@ | 41 coqdoc --interpolate --latex -s \ |
42 -p "\usepackage{url}" \ | |
43 $< -o $@ | |
42 | 44 |
43 latex/%.dvi: latex/%.tex | 45 latex/%.dvi: latex/%.tex |
44 cd latex ; latex $* ; latex $* | 46 cd latex ; latex $* ; latex $* |
45 | 47 |
46 %.pdf: %.dvi | 48 %.pdf: %.dvi |