1 files changed, 0 insertions, 28 deletions
diff --git a/portmidi/.github/workflows/docs.yml b/portmidi/.github/workflows/docs.yml
deleted file mode 100644
index d0e251b..0000000
--- a/portmidi/.github/workflows/docs.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-name: Generate Docs
-
-on:
-  push:
-    branches:
-      - main
-  workflow_dispatch:
-  
-jobs:
-  doxygen:
-    name: Doxygen
-    runs-on: ubuntu-latest
-    steps:
-      - name: "Check out repository"
-        uses: actions/checkout@v2
-
-      - name: Install Doxygen
-        run: sudo apt-get update && sudo apt-get install -y --no-install-recommends doxygen
-
-      - name: Generate Documentation
-        run: doxygen
-        working-directory: .
-
-      - name: Deploy to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: docs/html