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 · Feb 5, 2021 · b80cb42 · b80cb42
1 parent 4e68a2f
commit b80cb42
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