Allow manual workflow trigger + formatting

Author: nycrat

.github/workflows/build-doxygen.yml

@@ -4,11 +4,10 @@ name: Deploy static content to Pages
 on:
   # Runs on pushes targeting the default branch
   pull_request:
-    branches: 
+    branches:
       - master
     types: [closed]
 
-
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -27,7 +26,6 @@ concurrency:
 jobs:
   # Single deploy job since we're just deploying
   deploy:
-    if: ${{ github.event.pull_request.merged }}
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
@@ -51,7 +49,7 @@ jobs:
         uses: actions/upload-pages-artifact@v3
         with:
           # Upload entire repository
-          path: './docs/html'
+          path: "./docs/html"
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4