Use Read the Docs Sphinx search extension

diff --git a/docs/conf.py b/docs/conf.py
index c2e6d8d20e866ae17bda743b0ca5d2fae1bc2485..8e46a219882e4d82ddeb652d9060aa67bdf1ff15 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -31,6 +31,7 @@ extensions = [
   'sphinx.ext.autosectionlabel',
   'sphinx.ext.intersphinx',
   'sphinx.ext.napoleon',
+  'sphinx_search.extension',
   'sphinx_tabs.tabs'
 ]
 

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 23a89d47ab44391300d0e2e27f9bc1b31400f493..83a7212d229d4133e5c654c2e6144fe50a0878be 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,5 @@
 myst-parser==0.15.2
+readthedocs-sphinx-search==0.1.1
 sphinx==4.2.0
 sphinx-hoverxref==0.7b1
 sphinx-tabs==3.2.0