Made workflow manually runnable

Author: Kristof-me

.github/workflows/publish.yaml

@@ -1,5 +1,6 @@
 name: Publish to GitHub Pages
 on:
+  workflow_dispatch:
   push:
     branches:
       - main
@@ -25,4 +26,4 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - run: pip install -r requirements.txt
-      - run: mkdocs gh-deploy --force
+      - run: mkdocs gh-deploy --force