From 39c3de6a998be0eb56443ec59fe7fd03c320c83f Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Wed, 28 Oct 2020 11:49:38 +0100
Subject: [PATCH] Added highly niche task for publishing to inf.ed.ac.uk.

---
 Makefile | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0f6d568b..f24f2406 100644
--- a/Makefile
+++ b/Makefile
@@ -97,7 +97,7 @@ list:
 
 
 ########################################
-# Publish PLFA
+# Publish PLFA to plfa.github.io
 ########################################
 
 .PHONY: publish
@@ -128,6 +128,29 @@ publish: setup-check-rsync
 	git branch -D web
 
 
+########################################
+# Publish PLFA to plfa.inf.ed.ac.uk
+########################################
+
+PLFA_AFS_DIR := /afs/inf.ed.ac.uk/group/project/plfa
+
+.PHONY: publish-uoe
+publish-uoe:
+ifeq (,$(wildcard $(PLFA_AFS_DIR)))
+	@echo "Please connect the Informatics OpenAFS filesystem."
+	@echo "See: http://computing.help.inf.ed.ac.uk/informatics-filesystem"
+	@exit 1
+else
+ifeq (,$(wildcard $(PLFA_AFS_DIR)/html))
+	git clone https://github.com/plfa/plfa.github.io.git --branch web --single-branch --depth 1 html
+endif
+	cd $(PLFA_AFS_DIR)/html          \
+		&& git fetch --depth 1         \
+		&& git reset --hard origin/web \
+		&& git clean -dfx
+endif
+
+
 #################################################################################
 # Setup dependencies
 #################################################################################