Allow deploying to GitHub Pages manually

sotpapathe · sotpapathe · commit a81b3afc9abb · 2025-03-28T19:39:49.000+02:00
diff --git a/.github/workflows/doxygen-gh-pages.yaml b/.github/workflows/doxygen-gh-pages.yaml
@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   deploy:
