From 72a2f18c0421584c2df7c07766b57e03fb371286 Mon Sep 17 00:00:00 2001
From: David Badura <david.badura@patchlevel.de>
Date: Tue, 5 Nov 2024 11:27:28 +0100
Subject: [PATCH 1/2] fix docs deployment

---
 .github/workflows/docs-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs-build.yml b/.github/workflows/docs-build.yml
index ba7f52efa..ab77f7062 100644
--- a/.github/workflows/docs-build.yml
+++ b/.github/workflows/docs-build.yml
@@ -74,7 +74,7 @@ jobs:
           if [ "${{ steps.current.outputs.result }}" = "${{ steps.latest.outputs.result }}" ]
           then
             # Here we deploy a new latest version
-            mike deploy latest ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --update-aliases --alias-type=redirect --push --remote doc
+            mike deploy latest --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --update-aliases --alias-type=redirect --push --remote doc
           elif [ "$current_major" -lt "$latest_major" ] || \
             { [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -lt "$latest_minor" ]; }
           then

From b8591c56b21b049f46bead8e7ab424fd2afe9917 Mon Sep 17 00:00:00 2001
From: David Badura <david.badura@patchlevel.de>
Date: Tue, 5 Nov 2024 11:40:23 +0100
Subject: [PATCH 2/2] fix publish docs

---
 .github/workflows/docs-build.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/docs-build.yml b/.github/workflows/docs-build.yml
index ab77f7062..b0e58a575 100644
--- a/.github/workflows/docs-build.yml
+++ b/.github/workflows/docs-build.yml
@@ -65,16 +65,16 @@ jobs:
       - run: git fetch doc gh-pages --verbose
 
       - run: |          
-          current_major=$(echo "$version_current" | cut -d '.' -f 1)
-          current_minor=$(echo "$version_current" | cut -d '.' -f 2)
+          current_major=$(echo "${{ steps.current.outputs.result }}" | cut -d '.' -f 1)
+          current_minor=$(echo "${{ steps.current.outputs.result }}" | cut -d '.' -f 2)
           
-          latest_major=$(echo "$version_latest" | cut -d '.' -f 1)
-          latest_minor=$(echo "$version_latest" | cut -d '.' -f 2)
+          latest_major=$(echo "${{ steps.latest.outputs.result }}" | cut -d '.' -f 1)
+          latest_minor=$(echo "${{ steps.latest.outputs.result }}" | cut -d '.' -f 2)
           
           if [ "${{ steps.current.outputs.result }}" = "${{ steps.latest.outputs.result }}" ]
           then
             # Here we deploy a new latest version
-            mike deploy latest --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --update-aliases --alias-type=redirect --push --remote doc
+            mike deploy latest --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --push --remote doc
           elif [ "$current_major" -lt "$latest_major" ] || \
             { [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -lt "$latest_minor" ]; }
           then