intersphinx role, update based on merged refactoring

This commit is contained in:
Jakob Lykke Andersen
2021-10-31 15:30:13 +01:00
parent 36c6eafdf1
commit 184fd6a4aa
2 changed files with 17 additions and 11 deletions

View File

@@ -1 +1,3 @@
extensions = ['sphinx.ext.intersphinx']
# the role should not honor this conf var
intersphinx_disabled_reftypes = ['*']