docs: install and load sphinxcontrib.jquery

As per: readthedocs/sphinx_rtd_theme#1452 Signed-off-by: Karol Gugala <kgugala@antmicro.com>
antmicro · Mar 17, 2024 · 8e9aa0a · 8e9aa0a
1 parent c64c430
commit 8e9aa0a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -38,6 +38,7 @@
 # ones.
 extensions = [
 # 'sphinx.ext.intersphinx',
+ 'sphinxcontrib.jquery',
  'sphinx.ext.todo',
  'sphinx.ext.githubpages',
  'sphinx.ext.extlinks',

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,5 +1,6 @@
 sphinx>=4.5.0
 sphinx-autobuild
+sphinxcontrib-jquery
 
 # Better looking Sphinx theme
 # sphinx_materialdesign_theme