diff Makefile @ 489:a95af5a59990

Exercises online
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Jan 2013 15:48:32 -0500
parents 39c204d2262c
children 929c12a95b87
line wrap: on
line diff
--- a/Makefile	Tue Jan 08 14:38:56 2013 -0500
+++ b/Makefile	Tue Jan 08 15:48:32 2013 -0500
@@ -52,9 +52,10 @@
 cpdt.tgz:
 	hg archive -t tgz $@
 
-install: cpdt.tgz latex/cpdt.pdf html
+install: cpdt.tgz latex/cpdt.pdf latex/exercises.pdf html
 	cp cpdt.tgz staging/
 	cp latex/cpdt.pdf staging/
+	cp latex/exercises.pdf staging/ex/
 	cp -R html staging/
 	rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/