diff --git a/docs/conf.py b/docs/conf.py index e17edfc59..422f12b45 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -35,6 +35,7 @@ "sphinx.ext.todo", "sphinx.ext.coverage", "sphinx.ext.viewcode", + "sphinx_search.extension", ] # Add any paths that contain templates here, relative to this directory. diff --git a/docs/requirements.in b/docs/requirements.in index 82133027c..1967cde37 100644 --- a/docs/requirements.in +++ b/docs/requirements.in @@ -1,2 +1,3 @@ +readthedocs-sphinx-search sphinx sphinx_rtd_theme diff --git a/docs/requirements.txt b/docs/requirements.txt index 8a97d9c4e..34d07e5f4 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -28,6 +28,8 @@ packaging==23.2 # via sphinx pygments==2.16.1 # via sphinx +readthedocs-sphinx-search==0.3.1 + # via -r requirements.in requests==2.31.0 # via sphinx snowballstemmer==2.2.0