From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 20 Mar 2019 23:36:28 +0000 (+0000)
Subject: Makefile: add git push to publication target
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;ds=sidebyside;h=a5932f7cf7b9283c826bc562f9916e72beeb9b38;p=pandemic-rising-tide.git

Makefile: add git push to publication target
---

diff --git a/Makefile b/Makefile
index 97f112b..9bc7095 100644
--- a/Makefile
+++ b/Makefile
@@ -117,6 +117,7 @@ html: $(PDFS) $(PREVIEWS) README map.plag
 	cp $^ $@.tmp/ && $i
 
 to-www: html
+	git-push
 	rsync -aH --delete html/. $(www)/.
 
 # create opt.plag.reuse to shortcut this