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 1af8bb626c1eec3768e2c35e9b2c9b49432efee4..a37a70d8cd10cb4ebafd9b9352964b86fead1f5d 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -96,7 +96,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'