diff --git a/src/doc/conf.py b/src/doc/conf.py
index 24ef8545a66f32a7b791b688429c7e2a6fe8a98c..429e7bec792b50c670b6cbf05cab6c23ef5f0e3e 100644
--- a/src/doc/conf.py
+++ b/src/doc/conf.py
@@ -196,7 +196,7 @@ primary_domain = 'js'  # Not strictly necessary?
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {}
 
 # TODO Which options do we want?
 autodoc_default_options = {