Added intersphinx_mapping to doc/conf.py.

See
  http://sphinx.pocoo.org/ext/intersphinx.html#confval-intersphinx_mapping

diff --git a/doc/conf.py b/doc/conf.py
index 1090a283ff48847bc1e293338b48846c5211a405..757211c9311ab1bc344819830529af772e1e8809 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -196,3 +196,9 @@ latex_documents = [
 
 # If false, no module index is generated.
 #latex_use_modindex = True
+
+# -- Options for Intersphinx ---------------------------------------------------
+
+intersphinx_mapping = {
+    'http://docs.python.org/dev': None,
+    }