TASK: Remove unused intersphinx

* As long as we don't make use of intersphinx disable it to speed up
  rendering of documentation.
This commit is contained in:
Daniel Siepmann 2017-04-25 15:35:24 +02:00
parent 2cc21fdafa
commit 22d50486cf
Signed by: Daniel Siepmann
GPG key ID: 33D6629915560EF4

View file

@ -29,7 +29,7 @@ import os
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
# ones.
extensions = [
'sphinx.ext.intersphinx',
# 'sphinx.ext.intersphinx',
'sphinx.ext.todo',
]
@ -310,4 +310,4 @@ texinfo_documents = [
# Example configuration for intersphinx: refer to the Python standard library.
intersphinx_mapping = {'https://docs.python.org/': None}
# intersphinx_mapping = {'https://docs.python.org/': None}