From 6739feb7fe2ae9e35d40f0a9e913841f161eae9b Mon Sep 17 00:00:00 2001
From: David Li
Date: Fri, 14 Jun 2024 00:47:00 -0400
Subject: [PATCH] ci: fix test of whether docs are dev or release version
Fixes #1905.
---
ci/scripts/website_build.sh | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/ci/scripts/website_build.sh b/ci/scripts/website_build.sh
index 1f7f146e1c..fca5212c14 100755
--- a/ci/scripts/website_build.sh
+++ b/ci/scripts/website_build.sh
@@ -46,14 +46,17 @@ main() {
exit 1
fi
- local -r regex='^([0-9]+\.[0-9]+\.[0-9]+)$'
+ # Docs use the ADBC release so it will just be 12, 13, 14, ...
+ local -r regex='^([0-9]+?)$'
local directory="main"
if [[ "${new_version}" =~ $regex ]]; then
+ echo "Adding docs for version ${new_version}"
cp -r "${docs}" "${site}/${new_version}"
git -C "${site}" add --force "${new_version}"
directory="${new_version}"
else
# Assume this is dev docs
+ echo "Adding dev docs for version ${new_version}"
rm -rf "${site}/main"
cp -r "${docs}" "${site}/main"
git -C "${site}" add --force "main"