diff Makefile @ 217:6601384e7e14

Touch-ups to DataStruct
author Adam Chlipala <adamc@hcoop.net>
date Wed, 11 Nov 2009 14:34:24 -0500
parents f8bcd33bdd91
children dbac52f5bce1
line wrap: on
line diff
--- a/Makefile	Wed Nov 11 14:28:47 2009 -0500
+++ b/Makefile	Wed Nov 11 14:34:24 2009 -0500
@@ -45,7 +45,7 @@
 	cd latex ; latex $* ; latex $*
 
 latex/%.pdf: latex/%.dvi
-	cd latex ; pdflatex $* ; pdflatex $*
+	cd latex ; pdflatex $*
 
 html: Makefile $(VS) src/toc.html
 	mkdir -p html