Fix the doc build.

Readthedocs' mirror of python's intersphinx index appears to be gone.
2015-03-03 22:51:17 -05:00 · 2015-03-03 22:51:17 -05:00 · b06e7de206
parent a30dcd09e4
commit b06e7de206
1 changed files with 1 additions and 1 deletions
--- 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'