From d679f3ce55e1b4d03173465681f2e269b6f82f7c Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Sat, 5 Aug 2023 18:40:48 +0300 Subject: [PATCH] Docs: skip python-docs-theme 2023.7 to fix mobile menu --- Doc/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/requirements.txt b/Doc/requirements.txt index e9b6e56b122895..d4f23ea8c400fe 100644 --- a/Doc/requirements.txt +++ b/Doc/requirements.txt @@ -15,6 +15,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