Add manual trigger option for documentation deployment.

buddly27 · buddly27 · commit 924e37a4a13e · 2025-02-09T13:07:55.000-08:00
diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml
@@ -4,6 +4,7 @@ on:
   push:
     tags:
       - "*"
+  workflow_dispatch:
 
 permissions:
   contents: read
