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 23, 2021 · 074287c · 074287c
1 parent fceb111
commit 074287c
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