Merge pull request #479 from European-XFEL/rtd-update-sphinx-search

Update RTD Sphinx search-as-you-type plugin
European-XFEL · Jan 16, 2024 · ab90c34 · ab90c34
2 parents af3a5de + 21bbf51
commit ab90c34
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -34,6 +34,7 @@
     'sphinx.ext.napoleon',
     'nbsphinx',
     'sphinxcontrib_github_alt',
+    'sphinx_search.extension',
     # Workaround for sphinx-rtd-theme issue
     # https://github.com/readthedocs/sphinx_rtd_theme/issues/1452
     'sphinxcontrib.jquery',

diff --git a/docs/requirements-rtd.txt b/docs/requirements-rtd.txt
@@ -1,3 +1,3 @@
 sphinx==6.1.3
 sphinx_rtd_theme==1.2.0
-readthedocs-sphinx-search==0.2.0
+readthedocs-sphinx-search==0.3.2