From f81eeb3d566b513050a96161163b7a5bc3dd9828 Mon Sep 17 00:00:00 2001 From: Fabio Utzig Date: Mon, 28 Dec 2020 09:15:48 -0300 Subject: [PATCH] doc: fix broken text search Require Sphinx<3.4.0 to avoid the issue described in: https://github.com/sphinx-doc/sphinx/issues/8603 This requirement can be relaxed once a new sphinx-rtd-theme is released. Signed-off-by: Fabio Utzig --- scripts/requirements-doc.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/requirements-doc.txt b/scripts/requirements-doc.txt index abc44e52334150..fdad0c3fd47aa2 100644 --- a/scripts/requirements-doc.txt +++ b/scripts/requirements-doc.txt @@ -2,7 +2,7 @@ breathe>=4.23.0 docutils>=0.16 -sphinx>=3.3.0,<4.0 +sphinx>=3.3.0,<3.4.0 sphinx_rtd_theme sphinx-tabs sphinxcontrib-svg2pdfconverter