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 $*