Allow manual trigger for docs build and publish (#163)

Author: kaitj

.github/workflows/docs.yaml

@@ -23,7 +23,7 @@ on:
 
 jobs:
   build-and-publish-docs:
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
+    if: ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}
     runs-on: ubuntu-latest
     environment:
       name: github-pages