makefile stuff

diff --git a/Makefile b/Makefile
index aeb6f63f6720b76e1738aae922434199dc06da4d..2087549d8755750f464999fa06cf5844a9e97db0 100644 (file)
--- 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