From fdee4217633a6f8c63bc5825b1ac445f214fa607 Mon Sep 17 00:00:00 2001
From: MeikeWeiss <82507837+MeikeWeiss@users.noreply.github.com>
Date: Fri, 29 May 2026 10:16:59 +0200
Subject: [PATCH] Fix release workflow to build index.html

Added steps to build and push index.html via Jekyll.
---
 .github/workflows/release.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index a3ed3a31..0a601138 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -48,3 +48,17 @@ jobs:
           path: doc
           extra-files: |
             .nojekyll
+            doc/images
+      - name: Build index.html via Jekyll and push to gh-pages
+        if: ${{ !inputs.dry-run }}
+        run: |
+          gem install jekyll
+          git clone --branch gh-pages https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} gh-pages-build
+          cd gh-pages-build
+          jekyll build
+          cp _site/index.html index.html
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add index.html
+          git commit -m "Add pre-built index.html"
+          git push