From ff3975041549ac7a8f955a0888d3a7904ef418e0 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 7 Mar 2024 10:50:04 +0000
Subject: [PATCH] More debug
---
.docs/build-website.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.docs/build-website.sh b/.docs/build-website.sh
index 71ef699531..b6c366d933 100755
--- a/.docs/build-website.sh
+++ b/.docs/build-website.sh
@@ -13,12 +13,12 @@ function generate_docs {
mkdir -p ./final
if [ "$1" = "latest" ]; then
OVERRIDES_MAIN_HTML=$(cat .docs/overrides/main.html)
+ sed -i -e "s/__APPVERSION__/${APP_VERSION}/g" .docs/scripts/extra.js
SCRIPTS_EXTRA_JS=$(cat .docs/scripts/extra.js)
else
echo $OVERRIDES_MAIN_HTML > .docs/overrides/main.html
mkdir -p .docs/scripts
echo $SCRIPTS_EXTRA_JS > .docs/scripts/extra.js
- sed -i -e "s/__APPVERSION__/${APP_VERSION}/g" .docs/scripts/extra.js
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" {} \;
--
GitLab