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>

1 files changed, 1 insertions, 0 deletions

diff --git a/docs/conf.py b/docs/conf.py
index a966b3a02..0dbbfe0f7 100755
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -51,6 +51,7 @@ extensions = [
     'sphinx.ext.intersphinx',
     'sphinx.ext.todo',
     'sphinx.ext.coverage',
+    'sphinxcontrib.jquery',
 ]
 
 # Add any paths that contain templates here, relative to this directory.