From ac83b56f31d38e4a40e3f7d4892855e4bbdf617a Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Sun, 6 Aug 2023 13:08:32 +0200 Subject: [PATCH] Docs: skip python-docs-theme 2023.7 to fix mobile menu (GH-107666) (cherry picked from commit 9641c4d8e2bdf9b00dd9f373d4a74dfad000afd1) Co-authored-by: Hugo van Kemenade --- Doc/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/requirements.txt b/Doc/requirements.txt index fb558b3c5af249..4741265a0347f2 100644 --- a/Doc/requirements.txt +++ b/Doc/requirements.txt @@ -14,6 +14,6 @@ sphinxext-opengraph==0.7.5 # The theme used by the documentation is stored separately, so we need # to install that as well. -python-docs-theme>=2023.7 +python-docs-theme>=2023.3.1,!=2023.7 -c constraints.txt