Mercurial > cpdt > repo
diff Makefile @ 212:3227be370687
Ported Subset
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 09 Nov 2009 15:43:56 -0500 |
| parents | b149a07b9b5b |
| children | 768889c969e9 |
line wrap: on
line diff
--- a/Makefile Mon Nov 09 14:48:46 2009 -0500 +++ b/Makefile Mon Nov 09 15:43:56 2009 -0500 @@ -38,7 +38,9 @@ -o ../latex/cpdt.tex latex/%.tex: src/%.v - coqdoc --interpolate --latex -s $< -o $@ + coqdoc --interpolate --latex -s \ + -p "\usepackage{url}" \ + $< -o $@ latex/%.dvi: latex/%.tex cd latex ; latex $* ; latex $*