From 10259cadca2c4ba46b0bd2327ad16813f2421b10 Mon Sep 17 00:00:00 2001
From: Siem de Jong <28396796+siemdejong@users.noreply.github.com>
Date: Tue, 5 Mar 2024 09:04:06 +0100
Subject: [PATCH] feat: allow building pages on demand

---
 .github/workflows/pages.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 30c56ba..6a6391f 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -5,6 +5,7 @@ on:
     workflows: ["Release"]
     types:
       - completed
+  workflow_dispatch:
 
 env:
   HDF5_DISABLE_VERSION_CHECK: 1
@@ -72,4 +73,4 @@ jobs:
       if: github.ref == 'refs/heads/main'
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: docs/build/html
\ No newline at end of file
+        publish_dir: docs/build/html