Mercurial > cpdt > repo

diff Makefile @ 307:d2cb78f54454

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished 2011 pass through Intro
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Aug 2011 14:41:49 -0400
parents a419a60e5ff6
children 4cb3ba8604bc
line wrap: on
line diff
--- a/Makefile	Thu Aug 25 11:46:56 2011 -0400
+++ b/Makefile	Thu Aug 25 14:41:49 2011 -0400
@@ -9,7 +9,7 @@
 VS_DOC        := $(MODULES_DOC:%=%.v)
 TEMPLATES     := $(MODULES_CODE:%=templates/%.v)
 
-.PHONY: coq clean doc html templates install cpdt.tgz
+.PHONY: coq clean doc html templates install cpdt.tgz pdf
 
 coq: Makefile.coq
 	$(MAKE) -f Makefile.coq
@@ -60,4 +60,7 @@
 	cp cpdt.tgz staging/
 	cp latex/cpdt.pdf staging/
 	cp -R html staging/
-	rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/
+	rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/
+
+pdf:
+	evince latex/cpdt.pdf&