From 893b220c02bd61b280096e23ff4b9ad825e98806 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 14 Jul 2020 18:03:28 +0100 Subject: [PATCH] Rename stable to latest. --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 5fbe7960..3d6ac0de 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +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)) +LATEST_VERSION := $(word $(words $(RELEASE_VERSIONS)),$(RELEASE_VERSIONS)) ifeq ($(AGDA_STDLIB_VERSION),) AGDA_STDLIB_URL := https://agda.github.io/agda-stdlib/ @@ -50,10 +50,10 @@ build-incremental: $(MARKDOWN_FILES) $(JEKYLL) build --incremental # Download PLFA web releases -build-history: stable/ $(RELEASES) +build-history: latest/ $(RELEASES) -stable/: $(addprefix plfa.github.io-web-,$(addsuffix /,$(STABLE_VERSION))) - cd $< && $(JEKYLL) clean && $(JEKYLL) build --destination '../stable' --baseurl '/stable' +latest/: $(addprefix plfa.github.io-web-,$(addsuffix /,$(LATEST_VERSION))) + cd $< && $(JEKYLL) clean && $(JEKYLL) build --destination '../latest' --baseurl '/latest' # Download define build_release