fixup! Add GitHub Pages deployment workflow

Author: oschwald

.github/workflows/pages.yml

@@ -26,9 +26,19 @@ jobs:
         with:
           cache: true
 
+      - name: Resolve docs version
+        id: docs-version
+        run: |
+          git fetch origin gh-pages --depth=1 || true
+          v=$(git ls-tree -d origin/gh-pages doc/ 2>/dev/null \
+              | awk '{print $NF}' | sed 's|^doc/||' \
+              | grep -E '^v?[0-9]' | sort -V | tail -1)
+          echo "version=${v:-}" >> "$GITHUB_OUTPUT"
+
       - name: Build docs
         env:
           HUGO_BASEURL: https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/
+          HUGO_PARAMS_DOCSVERSION: ${{ steps.docs-version.outputs.version }}
         run: mise run build-docs
 
       - name: Push rendered site to gh-pages