diff --git a/conf.py b/conf.py index fea391f4b..180aca691 100644 --- a/conf.py +++ b/conf.py @@ -36,7 +36,6 @@ # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ - 'sphinx.ext.intersphinx', 'sphinx.ext.todo', 'sphinx.ext.mathjax', 'sphinx.ext.ifconfig', @@ -251,10 +250,6 @@ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False - -# Example configuration for intersphinx: refer to the Python standard library. -# intersphinx_mapping = {'https://docs.python.org/': None} - # Suppress warnings about excluded documents because every device gets a different toc tree suppress_warnings = ['toc.excluded']