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
slaff · Jan 29, 2021 · 888791d · 888791d
1 parent c3dbe4e
commit 888791d
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