From 64e235f0fb29303a9f2cf4b77fa214bf1394caa1 Mon Sep 17 00:00:00 2001
From: eclipse-esmf-bot <140813234+eclipse-esmf-bot@users.noreply.github.com>
Date: Tue, 5 Sep 2023 10:13:26 +0200
Subject: [PATCH] Updating file '.github/workflows/build-page.yml' with
 otterdog.

---
 .github/workflows/build-page.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-page.yml b/.github/workflows/build-page.yml
index 1ff5c61..f81a767 100644
--- a/.github/workflows/build-page.yml
+++ b/.github/workflows/build-page.yml
@@ -8,7 +8,7 @@ on:
     paths:
       - 'otterdog/*.jsonnet'
       - 'otterdog/*.json'
-      - 'docs/*'
+      - 'docs/**'
       - 'mkdocs.yml'
       - '.github/workflows/build-page.yml'