From 60ad1fea5d32fc3e3c9ba9f3d8571374994882d9 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 11 Apr 2024 12:21:17 +0200
Subject: [PATCH] Fixed it
---
build-docs.sh | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/build-docs.sh b/build-docs.sh
index e1dc9ede91..a38121fceb 100644
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -35,8 +35,7 @@ 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" {} \;
- mike set-default $APP_VERSION
- mike deploy $1 && cp -r ./site "./final/$1"
+ mkdocs build > /dev/null && cp -r ./site "./final/$1"
cp -r "./swagger/$1" "./final/$1/swagger"
echo $VERSIONS_JSON > "./final/$1/versions.json"
clean_cache
--
GitLab