From 22d50486cf51bf8cda82eedc2d9cc2925b36be2c Mon Sep 17 00:00:00 2001 From: Daniel Siepmann Date: Tue, 25 Apr 2017 15:35:24 +0200 Subject: [PATCH] TASK: Remove unused intersphinx * As long as we don't make use of intersphinx disable it to speed up rendering of documentation. --- Documentation/source/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/source/conf.py b/Documentation/source/conf.py index 406a886..0e40853 100644 --- a/Documentation/source/conf.py +++ b/Documentation/source/conf.py @@ -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}