diff Makefile @ 214:768889c969e9

Finish porting MoreDep
author Adam Chlipala <adamc@hcoop.net>
date Wed, 11 Nov 2009 12:21:28 -0500
parents 3227be370687
children f8bcd33bdd91
line wrap: on
line diff
--- a/Makefile	Wed Nov 11 10:27:47 2009 -0500
+++ b/Makefile	Wed Nov 11 12:21:28 2009 -0500
@@ -45,8 +45,8 @@
 latex/%.dvi: latex/%.tex
 	cd latex ; latex $* ; latex $*
 
-%.pdf: %.dvi
-	pdflatex $<
+latex/%.pdf: latex/%.dvi
+	cd latex ; pdflatex $* ; pdflatex $*
 
 html: Makefile $(VS) src/toc.html
 	mkdir -p html