Added highly niche task for publishing to inf.ed.ac.uk.

This commit is contained in:
Wen Kokke 2020-10-28 11:49:38 +01:00
parent 1225be30e2
commit 39c3de6a99

View file

@ -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
#################################################################################