diff options
author | François Freitag <mail@franek.fr> | 2020-10-05 08:32:26 +0200 |
---|---|---|
committer | François Freitag <mail@franek.fr> | 2020-10-05 08:34:26 +0200 |
commit | bd49c3c2efad25707eb95b7a68b19d886c9e4f7e (patch) | |
tree | e1b5e40657d9cce6ad3a3b02c20d88d98e3c3dee /doc/conf.py | |
parent | a8abb9995f71b9bc02b6f83592751c779ae0f75a (diff) | |
download | sphinx-git-bd49c3c2efad25707eb95b7a68b19d886c9e4f7e.tar.gz |
Outdated comment in docs config for intersphinx
Intersphinx is in use since 6a396c7eb85e4f2e2291652c454352bad1a397f4.
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index f62e02a34..74e5a8b80 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -110,8 +110,6 @@ texinfo_documents = [ 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)} # Sphinx document translation with sphinx gettext feature uses these settings: |