From 2e0270c6200bf19d986af5f89d5b324c3d9c0aa2 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Thu, 25 Apr 2024 14:50:01 +0200
Subject: [PATCH] Remove "Home" title in the home page
---
spec_on_pages.sh | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/spec_on_pages.sh b/spec_on_pages.sh
index 2bce3ea..9e29fd9 100644
--- a/spec_on_pages.sh
+++ b/spec_on_pages.sh
@@ -45,6 +45,7 @@ mv ${9^^}/* docs/
sed -i 's/'${9^^}'\///g' _nav.yml
cat _nav.yml >> mkdocs.yml
cp docs/0.md docs/index.md
+echo " - '': 'index.md'" >> mkdocs.yml
sed -i 's/##PROJECT/'${9^^}'/g' mkdocs.yml
## Create download tab if official baseline version
@@ -144,6 +145,7 @@ else
if [ -n "${isLatest}" ]; then
if [ -n "${previousVersion}" ]; then
mike alias --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH -u ${previousVersion} ${latest} latest
+ mike props --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH --set hidden=false ${previousVersion}
else
# Look previous release (previous major version)
majorVersion=$(echo $((--majorVersion)))
@@ -152,6 +154,7 @@ else
echo "Previous release version is ${previousReleaseVersion}"
if [ -n "${previousReleaseVersion}" ]; then
mike alias --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH -u ${previousReleaseVersion} latest
+ mike props --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH --set hidden=false ${previousReleaseVersion}
else
echo "Warning: No latest version assigned!!!"
fi
@@ -159,6 +162,7 @@ else
elif [ -n "${isLatestRelease}" ]; then
if [ -n "${previousVersion}" ]; then
mike alias --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH -u ${previousVersion} ${latest}
+ mike props --deploy-prefix public -r $HTTPS_REMOTE --allow-empty -p -b $PAGES_BRANCH --set hidden=false ${previousVersion}
else
echo "Warning: no ${latest} available!!"
fi #Deal with moving down a release
--
GitLab