From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 4 Sep 2019 14:16:43 +0000 (+0100)
Subject: makefile stuff
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=52c29e1847a98a93da41e9010a07b5020345d07c;p=talk-2019-ghm-rust.git

makefile stuff
---

diff --git a/Makefile b/Makefile
index aeb6f63..2087549 100644
--- a/Makefile
+++ b/Makefile
@@ -86,7 +86,11 @@ talk.ps: %.ps: %.txt Makefile
 
 usb=/media/usb1
 
-for-printing: talk.pdf
+for-printing: talk.pdf talk.ps
 	mount $(usb)
 	cp $^ $(usb)/.
 	umount $(usb)
+
+install: slides.pdf talk.txt
+        rsync -vP $^ ijackson@chiark:public-html/2019/ghm-rust-talk/
+        git push ijackson@chiark:public-git/talk-2019-ghm-rust.git