From ff1bde0e8e8407ca6f4cf8b2a157fe851a50d088 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 11 Apr 2024 08:42:35 +0200
Subject: [PATCH] Publish with mike
---
build-docs.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build-docs.sh b/build-docs.sh
index a38121fceb..e1dc9ede91 100644
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -35,7 +35,8 @@ function generate_docs {
fi
find .docs/ -type f -exec sed -i -e "s/__APPVERSION__/$1/g" {} \;
find .docs/ -type f -exec sed -i -e "s/__CHARTVERSION__/$1/g" {} \;
- mkdocs build > /dev/null && cp -r ./site "./final/$1"
+ mike set-default $APP_VERSION
+ mike deploy $1 && cp -r ./site "./final/$1"
cp -r "./swagger/$1" "./final/$1/swagger"
echo $VERSIONS_JSON > "./final/$1/versions.json"
clean_cache
--
GitLab