Remove Doxygen deploy workflow

Has been moved into its own repository

.github/workflows/doxygen_deploy.yml

@@ -1,45 +0,0 @@
-name: doxygen_deploy
-
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-on:
-  push:
-    paths:
-      - '.github/workflows/doxygen_deploy.yml'
-      - 'doc/**'
-      - 'src/src/**'
-      - 'src/tms/**'
-    branches:
-      - master
-
-jobs:
-  build:
-    if: github.repository == 'Bithack/principia'
-    runs-on: ubuntu-22.04
-    steps:
-      - uses: actions/checkout@v4
-
-      - name: Install deps
-        run: |
-          sudo apt-get install -y doxygen graphviz wget
-
-      - name: Generate Doxygen documentation
-        run: |
-          wget https://raw.githubusercontent.com/rollerozxa/doxygen-awesome-css/main/doxygen-awesome.css -O doc/doxygen-awesome.css
-          doxygen Doxyfile
-          touch doc/doxy/html/.nojekyll
-
-      - name: Setup Pages
-        uses: actions/configure-pages@v4
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: 'doc/doxy/html/'
-
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4