From 2ee123a1db4550852c2fa9ee2325d86f22e624fc Mon Sep 17 00:00:00 2001
From: Daniel Noland <daniel@githedgehog.com>
Date: Sat, 9 Nov 2024 12:41:12 -0700
Subject: [PATCH] Rebuild docs on manual dispatch

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index f04a08e2..87240a92 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -53,7 +53,7 @@ jobs:
   build:
     name: "Build and deploy documentation"
     needs: [ check_changes ]
-    if: "${{ needs.check_changes.outputs.docs == 'true' }}"
+    if: "${{ needs.check_changes.outputs.docs == 'true' || github.event_name == 'workflow_dispatch' }}"
     runs-on: "ubuntu-latest"
     steps: