Add manual trigger for building the documentation

egguy · Nov 8, 2023 · bf84a47 · bf84a47
1 parent d6bebdb
commit bf84a47
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -8,6 +8,7 @@ on:
     paths:
       - "*.md"
       - docs/**
+    workflow_dispatch:
 
 jobs:
   build-doc: