Add manual deployment trigger

.github/workflows/deploy.yml

@@ -1,5 +1,6 @@
 name: Deploy Website
 on:
+  workflow_dispatch:
   release:
     types: [published]
 
@@ -41,7 +42,7 @@ jobs:
 
       - name: Build website
         run: |
-          mkdocs build --config-file mkdocs.production.yml
+          mkdocs build
           mv .well-known site/
           tar cvf site.tar site
           mkdocs --version