Use Intersphinx linking to link to Python documentation

diff --git a/docs/conf.py b/docs/conf.py
index 1312828e8c628f86d19392bc61de5ed8cd5713af..8ef94abdf39a1354273bb8503a1bb6f6ef63f42e 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -24,7 +24,12 @@ sys.path.append(os.path.abspath('..'))
 
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.autodoc']
+extensions = [
+  'sphinx.ext.autodoc',
+  'sphinx.ext.intersphinx'
+]
+
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
 
 # Add any paths that contain templates here, relative to this directory.
 #templates_path = ['_templates']