diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
deleted file mode 100644
index a2e24b83ce..0000000000
--- a/.github/workflows/doxygen.yml
+++ /dev/null
@@ -1,51 +0,0 @@
-name: doxygen
-
-on:
-  push:
-  schedule:
-    - cron: '41 4 * * 0'
-
-jobs:
-  build-docs:
-    runs-on: ubuntu-latest
-    container:
-      image: alpine:latest
-      volumes:
-        - /home/runner/work/_temp:/home/runner/work/_temp
-      # FIXME hard-coded: see https://github.com/actions/upload-pages-artifact/pull/14
-    steps:
-      - uses: actions/checkout@v3
-      - run: |
-          apk add doxygen graphviz
-          doxygen Doxyfile        
-          cp -r docs publishing_docs
-          mv html publishing_docs/doxygen
-      - uses: actions/upload-artifact@v3
-        with:
-          name: docs
-          path: publishing_docs/
-          if-no-files-found: error
-      - run:
-
-          apk add tar bash
-        # FIXME bash not really required: see https://github.com/actions/upload-pages-artifact/pull/14
-      - uses: actions/upload-pages-artifact@v1
-        if: github.ref == 'refs/heads/main'
-        with:
-          path: publishing_docs/
-          retention-days: 7
-
-  deploy-docs:
-    needs: build-docs
-    if: github.ref == 'refs/heads/main'
-    permissions:
-      pages: write
-      id-token: write
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v1