docs/conf.py: Switch to "new" format of intersphinx_mapping.

As described at
http://www.sphinx-doc.org/en/stable/ext/intersphinx.html#confval-intersphinx_mapping

This will allow to explicitly refer to CPython docs for cross-references.

1 files changed, 1 insertions, 1 deletions

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