From aea8fa67722c85fb994bef71052473633cac812e Mon Sep 17 00:00:00 2001
From: mboehmlaender <mboehmlaender@gmx.net>
Date: Mon, 30 Mar 2026 19:32:47 +0000
Subject: [PATCH] 0.12.0-17 docs

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 56e64c4..9776943 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -56,6 +56,7 @@ jobs:
         run: |
           set -euo pipefail
           SITE_ROOT="${GITHUB_WORKSPACE:-$PWD}/site"
+          WORKTREE_ROOT="${RUNNER_TEMP:-$PWD}/mkdocs-worktrees"
 
           has_ref() {
             git rev-parse --verify --quiet "$1" >/dev/null
@@ -86,22 +87,22 @@ jobs:
           # Build each branch in its own worktree and merge into one Pages artifact:
           # - main docs at site/
           # - dev docs at site/dev/
-          rm -rf .worktrees "${SITE_ROOT}"
-          mkdir -p .worktrees
+          rm -rf "${WORKTREE_ROOT}" "${SITE_ROOT}"
+          mkdir -p "${WORKTREE_ROOT}"
           mkdir -p "${SITE_ROOT}"
-          git worktree add --detach .worktrees/main "${MAIN_REF}"
+          git worktree add --detach "${WORKTREE_ROOT}/main" "${MAIN_REF}"
 
           if ! mkdocs build --strict --verbose \
-            --config-file .worktrees/main/mkdocs.yml \
+            --config-file "${WORKTREE_ROOT}/main/mkdocs.yml" \
             --site-dir "${SITE_ROOT}"; then
             echo "::error::Main-Dokumentation konnte nicht gebaut werden."
             exit 1
           fi
 
           if [ -n "${DEV_REF}" ]; then
-            git worktree add --detach .worktrees/dev "${DEV_REF}"
+            git worktree add --detach "${WORKTREE_ROOT}/dev" "${DEV_REF}"
             if ! mkdocs build --strict --verbose \
-              --config-file .worktrees/dev/mkdocs.yml \
+              --config-file "${WORKTREE_ROOT}/dev/mkdocs.yml" \
               --site-dir "${SITE_ROOT}/dev"; then
               echo "::warning::Dev-Dokumentation konnte nicht gebaut werden. Es wird ein Platzhalter unter /dev erzeugt."
               rm -rf "${SITE_ROOT}/dev"
@@ -128,21 +129,22 @@ jobs:
       - name: Verify Pages artifact
         run: |
           set -euo pipefail
-          if [ ! -d site ]; then
+          SITE_ROOT="${GITHUB_WORKSPACE:-$PWD}/site"
+          if [ ! -d "${SITE_ROOT}" ]; then
             echo "::error::site/ wurde nicht erzeugt."
             ls -la
             exit 1
           fi
-          if [ ! -f site/index.html ]; then
+          if [ ! -f "${SITE_ROOT}/index.html" ]; then
             echo "::error::site/index.html fehlt."
-            find site -maxdepth 3 -type f | head -n 50 || true
+            find "${SITE_ROOT}" -maxdepth 3 -type f | head -n 50 || true
             exit 1
           fi
 
       - name: Upload Pages artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: site/
+          path: ${{ github.workspace }}/site
 
   deploy:
     name: Deploy to GitHub Pages