Enable readthedocs-sphinx-search

See https://github.com/readthedocs/readthedocs-sphinx-search
mgeier · Aug 27, 2023 · 8b6f7e2 · 8b6f7e2
1 parent 74e15da
commit 8b6f7e2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -119,6 +119,7 @@
 # -- Sphinx extensions --------------------------------------------------------
 
 extensions = [
+    'sphinx_search.extension',
     'sphinx.ext.autodoc',
     'sphinx.ext.autosummary',
     'sphinx.ext.intersphinx',

diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -1 +1,2 @@
+readthedocs-sphinx-search
 sphinx-last-updated-by-git