Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/Makefile Fri Oct 15 09:50:34 2010 -0400 +++ b/Makefile Fri Nov 05 10:35:56 2010 -0400 @@ -37,9 +37,9 @@ -o ../latex/cpdt.tex latex/%.tex: src/%.v - coqdoc --interpolate --latex -s \ + cd src ; coqdoc --interpolate --latex -s \ -p "\usepackage{url,amsmath,amssymb}" \ - $< -o $@ + $*.v -o ../latex/$*.tex latex/%.dvi: latex/%.tex cd latex ; latex $* ; latex $*