diff --git a/doc/sphinx/conf.py.in b/doc/sphinx/conf.py.in index a08ab1ff9..421189413 100644 --- a/doc/sphinx/conf.py.in +++ b/doc/sphinx/conf.py.in @@ -196,7 +196,8 @@ epub_exclude_files = ['search.html'] # -- Options for intersphinx extension --------------------------------------- # Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = {'https://docs.python.org/3': None} +intersphinx_mapping = {'python': ('https://docs.python.org/3', None)} + # -- Options for todo extension ----------------------------------------------