From 28db2af5ffb8da84cd89762eb6d263a41417be06 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Sat, 5 Oct 2013 16:12:03 +0200 Subject: [PATCH] doc: disable intersphinx mapping The intersphinx extensions let one reserve a link namespace and map it to a remote URL, for example to refer to the Python documentation. A drawback is that, from time to time, Sphinx will attempt to download an object inventory from the remote, that is not convenient when running sphinx in offline mode such as in a plane. Change-Id: Idef8e88545715a3f1cb9ace002960a7ad3e37b69 --- doc/source/conf.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/source/conf.py b/doc/source/conf.py index 3d8c13f74e..d7142ad4a9 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -25,9 +25,9 @@ sys.path.insert(0, os.path.abspath('../..')) # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions = ['sphinx.ext.intersphinx'] - -intersphinx_mapping = {'python': ('http://docs.python.org/2.7', None)} +extensions = [] +#extensions = ['sphinx.ext.intersphinx'] +#intersphinx_mapping = {'python': ('http://docs.python.org/2.7', None)} # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates']