ci: add dispatch trigger to docs deployment workflow

Signed-off-by: Paul Meyer <[email protected]>

.github/workflows/docs_publish.yml

@@ -1,6 +1,7 @@
 name: publish docs to GitHub Pages
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main