From 52c29e1847a98a93da41e9010a07b5020345d07c Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 4 Sep 2019 15:16:43 +0100 Subject: [PATCH] makefile stuff --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 -- 2.30.2