ignore auto-generated sphinx urls

Author: videlec

.github/workflows/doc.yml

@@ -39,7 +39,8 @@ jobs:
           sleep 1
           # We ignore _modules since sphinx puts all modules in the module
           # overview but does not generate pages for .pyx modules.
-          linkchecker --check-extern --ignore-url=_modules/ http://localhost:8880
+          # We also ignore a url that is generated by sphinx itself (version 7.2.6).
+          linkchecker --check-extern --ignore-url='_modules/|https://www.sphinx-doc.org/' http://localhost:8880
       - uses: JamesIves/github-pages-deploy-action@3.7.1
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}