From baf512ffa3f538014b3450e45f38ce9234e40fe9 Mon Sep 17 00:00:00 2001
From: David Hauck <david_hauck40@yahoo.com>
Date: Thu, 21 May 2020 10:19:54 -0700
Subject: [PATCH] update archive site to build 1.5

---
 scripts/build_archive_site.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/build_archive_site.sh b/scripts/build_archive_site.sh
index b9daf1c91c..9e457e58e3 100755
--- a/scripts/build_archive_site.sh
+++ b/scripts/build_archive_site.sh
@@ -59,13 +59,13 @@ for rel in "${TOBUILD[@]}"; do
   echo "### Building '${NAME}' from ${TAG} for ${URL}"
   git checkout "${TAG}"
 
-  if [[ "${TAG}" == "release-1.2" || "${TAG}" == "release-1.3" ]]; then
+  if [[ "${TAG}" == "release-1.2" || "${TAG}" == "release-1.3" || "${TAG}" == "release-1.5" ]]; then
     scripts/build_site.sh
   fi
 
   scripts/gen_site.sh "${URL}"
 
-  if [[ "${TAG}" != "release-0.8" && "${TAG}" != "release-1.0" && "${TAG}" != "release-1.1" && "${TAG}" != "release-1.2" && "${TAG}" != "release-1.3" && "${TAG}" == "release-1.4" && "${TAG}" == "release-1.5" ]]; then
+  if [[ "${TAG}" != "release-0.8" && "${TAG}" != "release-1.0" && "${TAG}" != "release-1.1" && "${TAG}" != "release-1.2" && "${TAG}" != "release-1.3" && "${TAG}" == "release-1.4" ]]; then
     scripts/build_site.sh
   fi