#332 Use "latest" DTC version

aim42 · Aug 15, 2024 · 177ca2e · 177ca2e
1 parent bd01518
commit 177ca2e
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/generate-pages b/generate-pages
@@ -1,18 +1,25 @@
 #!/usr/bin/env bash
 
-: "${DTC_VERSION:=3.4.0}"
+: "${DTC_VERSION:=latest}"
+export DTC_VERSION
 : "${DTC_TASKS:=exportExcel generateHtml generateSite generatePdf}"
 
 # Use a local version!
-test -d "${HOME}/.doctoolchain/docToolchain-${DTC_VERSION}" || ./dtcw local install doctoolchain
+if test -d "${HOME}/.doctoolchain/docToolchain-${DTC_VERSION}"; then
+  if test "${DTC_VERSION}" = "latest"; then
+    (cd "${HOME}/.doctoolchain/docToolchain-${DTC_VERSION}" && git pull )
+  fi
+else
+  ./dtcw local install doctoolchain
+fi
 test -d "${HOME}/.doctoolchain/jdk" || ./dtcw local install java
 
 set -eu -o pipefail
 
 run() {
     local title="${1}"
     shift
-    local action="${@}"
+    local action="${*}"
 
     echo "##########################"
     echo "### ${title} ###"