From 0087f091406ecc425ac7bb8c588571589b2d2288 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 1af8bb62..a37a70d8 100644 --- 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'