Fix the doc build.

Readthedocs' mirror of python's intersphinx index appears to
be gone.

diff --git a/docs/conf.py b/docs/conf.py
index d9b4761ce15725bc543488c974d28492358a2c1e..b0e48eb3a329600e0efa78e7b0fffdf44c9fa4e7 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -95,7 +95,7 @@ extlinks = {
     }
 
 intersphinx_mapping = {
-    'python': ('http://python.readthedocs.org/en/latest/', None),
+    'python': ('https://docs.python.org/3.4/', None),
     }
 
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'