The search issue stopped working.

Suggested fix is to upgrade sphinx to version 2.0.1. See the discussion here for details: readthedocs/sphinx_rtd_theme#743
mikee47 · Mar 1, 2021 · ee0ff79 · ee0ff79
1 parent 8f00cb8
commit ee0ff79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,6 +1,6 @@
 # Requirements file for pip
 # list of Python packages used in documentation build
-sphinx==2.0.0
+sphinx==2.0.1
 sphinx-rtd-theme
 m2r
 breathe==4.13.0