diff Makefile @ 226:9d0b9577f8b1

First 8.2 release
author Adam Chlipala <adamc@hcoop.net>
date Mon, 16 Nov 2009 13:27:34 -0500
parents dbac52f5bce1
children d8c54a25c81f
line wrap: on
line diff
--- a/Makefile	Mon Nov 16 13:13:34 2009 -0500
+++ b/Makefile	Mon Nov 16 13:27:34 2009 -0500
@@ -45,7 +45,7 @@
 	cd latex ; latex $* ; latex $*
 
 latex/%.pdf: latex/%.dvi
-	cd latex ; pdflatex $*
+	cd latex ; pdflatex $* ; pdflatex $*
 
 html: Makefile $(VS) src/toc.html
 	mkdir -p html
@@ -68,5 +68,4 @@
 	cp cpdt.tgz staging/
 	cp latex/cpdt.pdf staging/
 	cp -R html staging/
-#	rsync -az --exclude '*~' staging/* bowser.eecs.harvard.edu:public_html/cpdt/book/
-	rsync -az --exclude '*~' staging/* ssh.hcoop.net:sites/chlipala/adam/cpdt/
+	rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/