From 21bbf51b2ab86363cd6ffd8827672dcfc1874bef Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Tue, 16 Jan 2024 16:32:11 +0000 Subject: [PATCH] Update RTD Sphinx search-as-you-type plugin --- docs/conf.py | 1 + docs/requirements-rtd.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index aead9214..668fe7b8 100644 --- 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 index d22c0049..8b9d3982 100644 --- 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