chiark / gitweb /
documenting rules
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 5 Dec 2020 22:22:50 +0000 (22:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 5 Dec 2020 22:22:50 +0000 (22:22 +0000)
Makefile

index 2eda3ae58915496ad56c0445f7a45ecf6bfe22ad..6ff324bc8cb6984c3b3719f23f323ca9ddcab1b4 100644 (file)
--- 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)/