From 62c7eff3bfa828ed900eaa008e8def8b0ba9f2ec Mon Sep 17 00:00:00 2001
From: Ophir Lojkine <contact@ophir.dev>
Date: Mon, 26 Oct 2026 10:59:38 +0000
Subject: [PATCH] fix: include generated documentation in Pages deployments

---
 .github/workflows/CI.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index a272fe5e..a338eb57 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -49,6 +49,10 @@ jobs:
       with:
         name: documentation
         path: documentation
+    - name: Include generated documentation in the Pages commit
+      # The deploy action copies .gitignore and uses git add, which would skip
+      # new documentation assets and pages under the development ignore rule.
+      run: echo '!/documentation/' >> .gitignore
     - name: Update github pages
       uses: JamesIves/github-pages-deploy-action@fa24774553152dd7873cd16ebd8d959b010c5445 # v4.9.0
       with: