Add workflow dispatch option for doc build

dstansby · dstansby · commit c25df01d4880 · 2024-01-07T20:57:42.000Z
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -10,6 +10,7 @@ on:
       - main
     tags:
       - "v*" # Push events to matching v*, i.e. v1.0, v20.15.10
+  workflow_dispatch:
 
 jobs:
   build-docs:
