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
Antoine Musso 2013-10-05 16:12:03 +02:00
parent d7e8f3ac26
commit 28db2af5ff
1 changed files with 3 additions and 3 deletions

View File

@ -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': ('', None)}
extensions = []
#extensions = ['sphinx.ext.intersphinx']
#intersphinx_mapping = {'python': ('', None)}
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']