From 074287c26c81df9c4e806f3a924362362bbc3c20 Mon Sep 17 00:00:00 2001 From: Slavey Karadzhov Date: Fri, 29 Jan 2021 16:45:53 +0100 Subject: [PATCH] The search issue stopped working. Suggested fix is to upgrade sphinx to version 2.0.1. See the discussion here for details: https://github.com/readthedocs/sphinx_rtd_theme/issues/743 --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index 648e046d21..1aec4ebba4 100644 --- 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