michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Generate stable version.

Browse source
This commit is contained in:
Wen Kokke 2020-07-14 16:20:03 +01:00
parent edce229b79
commit ccda5c009e
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -13,6 +13,7 @@ HTMLPROOFER := $(BUNDLE) exec htmlproofer
LUA_FILES := $(shell find . -type f -and -path '*/epub/*' -and -name '*.lua')
RELEASE_VERSIONS := 2019-08-31 2020-07-14
RELEASES := $(addsuffix /,$(RELEASE_VERSIONS))
STABLE_VERSION := $(word $(words $(RELEASE_VERSIONS)),$(RELEASE_VERSIONS))
ifeq ($(AGDA_STDLIB_VERSION),)
AGDA_STDLIB_URL := https://agda.github.io/agda-stdlib/
@ -49,7 +50,10 @@ build-incremental: $(MARKDOWN_FILES)
$(JEKYLL) build --incremental
# Download PLFA web releases
build-history: $(RELEASES)
build-history: stable/ $(RELEASES)
stable/: $(addprefix plfa.github.io-web-,$(addsuffix /,$(STABLE_VERSION)))
cd $< && $(JEKYLL) clean && $(JEKYLL) build --destination '../stable' --baseurl '/stable'
# Download
define build_release