From 40286fce85968044dde57ab6439de80f673faa08 Mon Sep 17 00:00:00 2001
From: jklingen <jklingen@users.noreply.github.com>
Date: Fri, 25 Apr 2025 16:30:44 +0200
Subject: [PATCH] Rebuilt Github Pages

---
 .github/workflows/release.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index b61b0a3ed..d6d3cedc7 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -116,13 +116,20 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Rebuild GitHub Pages for new release
+        run: |
+          # Create a dummy commit to trigger rebuild
+          git checkout gh-pages
+          git commit --allow-empty "Trigger rebuild for v${{ steps.extract_version.outputs.version }}"
+          git push origin gh-pages
+
           
 
 # TODOs
 # [ ] code signing (setup.iss / innosetup)
 # [x] name of release
 # [x] version tag
-# [ ] change log (?) (release-drafter action)
+# [x] change log (?) (release-drafter action)
 # [ ] update gh-pages automatically (?)