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 · 0087f09140
parent 44c8c3d87d
commit 0087f09140
1 changed files with 1 additions and 1 deletions
--- 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'