From 94eff49ed1c3013eb61e85ba666912c54c7638d0 Mon Sep 17 00:00:00 2001
From: Markus Schmidt <markus262@web.de>
Date: Thu, 23 Nov 2023 12:49:11 +0100
Subject: [PATCH] trigger on config change

---
 .github/workflows/gh-pages.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index d61031bbd9b..e0476cc22ce 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -12,6 +12,7 @@ on:
       - 'mkdocs.yml'
       - 'sootup.examples/**'
       - 'docs/**'
+      - '.github/workflows/gh-pages.yml'
 
   release:
     types: [ created, published ]