From 6db6b10bc0638a2854055ff5b1a2affed3d385c8 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 5 Dec 2020 22:22:50 +0000 Subject: [PATCH] documenting rules --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2eda3ae..6ff324b 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,6 @@ +PUBLISH= pumpkin-books.pdf house-rules.md + all: pumpkin-books.pdf # Don't print the ps, printers (eg ours!) don't always have the fonts @@ -14,7 +16,7 @@ pubssh=c pubpath=games-rules/quacks puburl=https://www.chiark.greenend.org.uk/~ijackson/ -publish: pumpkin-books.pdf +publish: $(PUBLISH) git push origin rsync $^ $(pubssh):public-html/$(pubpath)/. @echo $(puburl)$(pubpath)/ -- 2.30.2