diff --git a/docs/conf.py b/docs/conf.py index 5352d16e45..f9c3ecdb7a 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -322,7 +322,7 @@ texinfo_documents = [ # Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = {'python': ('http://docs.python.org/3', None)} +intersphinx_mapping = {'python': ('http://docs.python.org/3.5', None)} # Append the other ports' specific folders/files to the exclude pattern exclude_patterns.extend([port + '*' for port in ports if port != micropy_port])