Enable readthedocs-sphinx-search

See https://github.com/readthedocs/readthedocs-sphinx-search
mgeier · Sep 2, 2020 · 7d38921 · 7d38921
1 parent eb8a539
commit 7d38921
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
@@ -110,6 +110,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