Outdated comment in docs config for intersphinx

Intersphinx is in use since 6a396c7eb8.
This commit is contained in:
François Freitag
2020-10-05 08:32:26 +02:00
parent a8abb9995f
commit bd49c3c2ef

View File

@@ -110,8 +110,6 @@ texinfo_documents = [
1), 1),
] ]
# We're not using intersphinx right now, but if we did, this would be part of
# the mapping:
intersphinx_mapping = {'python': ('https://docs.python.org/3/', None)} intersphinx_mapping = {'python': ('https://docs.python.org/3/', None)}
# Sphinx document translation with sphinx gettext feature uses these settings: # Sphinx document translation with sphinx gettext feature uses these settings: