docs/conf.py: Add sphinxcontrib.jquery to extensions.

This is needed by recent versions of sphinx-rtd-theme.

Signed-off-by: Damien George <damien@micropython.org>
This commit is contained in:
Damien George 2023-09-18 11:02:27 +10:00
parent 5473200aab
commit 9dd40d1b60

View File

@ -51,6 +51,7 @@ extensions = [
'sphinx.ext.intersphinx', 'sphinx.ext.intersphinx',
'sphinx.ext.todo', 'sphinx.ext.todo',
'sphinx.ext.coverage', 'sphinx.ext.coverage',
'sphinxcontrib.jquery',
] ]
# Add any paths that contain templates here, relative to this directory. # Add any paths that contain templates here, relative to this directory.