add readthedocs-sphinx-search extension

pustotnik · Nov 12, 2023 · f791558 · f791558
1 parent b31b1ec
commit f791558
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -51,6 +51,7 @@
     #'sphinx.ext.viewcode',
     #'sphinx.ext.intersphinx',
     #'sphinxcontrib.spelling',
+    'sphinx_search.extension',
 ]
 
 # Add any paths that contain templates here, relative to this directory.

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,7 +1,9 @@
 # Defining the exact version will make sure things don't break
 sphinx==7.2.6
 sphinx_rtd_theme==1.3.0
+readthedocs-sphinx-search==0.3.1
 #sphinxcontrib-spelling==8.0.0
 
+# Old fixes
 # https://github.com/readthedocs/readthedocs.org/issues/8616
 #docutils<0.18