CI publish docs if manually triggered

Author: kroq-gar78

.github/workflows/build_docs.yml

@@ -42,7 +42,7 @@ jobs:
         touch docs/.nojekyll
 
     - name: Publish to gh-pages if tagged
-      if: startsWith(github.ref, 'refs/tags')
+      if: startsWith(github.ref, 'refs/tags') || (github.event_name == 'workflow_dispatch' && github.ref == 'refs/heads/main')
       uses: JamesIves/github-pages-deploy-action@v4.8.0
       with:
         branch: gh-pages