diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 390adf54..16339ea2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -5,6 +5,7 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
+  workflow_dispatch:
 
 jobs:
 
@@ -158,23 +159,3 @@ jobs:
               fi
             fi
           done
-
-  doxygen:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Install Doxygen
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y doxygen
-
-      - uses: actions/checkout@v2
-
-      - name: Generate docs
-        run: doxygen Doxyfile
-
-      - name: Deploy to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@releases/v3
-        with:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          BRANCH: gh-pages
-          FOLDER: docs/html