Enable readthedocs-sphinx-search

See https://github.com/readthedocs/readthedocs-sphinx-search
mgeier · Nov 13, 2022 · 91d967d · 91d967d
1 parent dd1808b
commit 91d967d
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
@@ -115,6 +115,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