From b06e7de206bc27f21e683ccac7cb0b1c62009494 Mon Sep 17 00:00:00 2001 From: Ben Darnell Date: Tue, 3 Mar 2015 22:51:17 -0500 Subject: [PATCH] Fix the doc build. Readthedocs' mirror of python's intersphinx index appears to be gone. --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index d9b4761c..b0e48eb3 100644 --- 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'