Closed mgeier closed 1 year ago
There are two problems:
If those are fixed, this can be closed.
If not, this PR is a work-around that should also fix both problems.
Fixes a part of #530 (links to local files are still marked as "external"). Fixes #664.
It doesn't look like the Sphinx issues will be fixed soon, so I'll go ahead and merge this work-around. If Sphinx catches up at some point, we can remove this work-around again.
There are two problems:
If those are fixed, this can be closed.
If not, this PR is a work-around that should also fix both problems.
Fixes a part of #530 (links to local files are still marked as "external"). Fixes #664.