From 121f0f1e7213d40b513d344b16177ff94afe4898 Mon Sep 17 00:00:00 2001 From: Ronny Berndt Date: Mon, 6 Jan 2025 08:47:19 +0100 Subject: [PATCH] Exclude specific Sphinx/Pygments version 2.19.0 Pygments doesn't render ini files correctly. See https://github.com/pygments/pygments/issues/2834 --- src/docs/requirements.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/docs/requirements.txt b/src/docs/requirements.txt index ae0124f8423..e3078762ed8 100644 --- a/src/docs/requirements.txt +++ b/src/docs/requirements.txt @@ -3,3 +3,6 @@ sphinx-rtd-theme==3.0.2 sphinxcontrib-httpdomain==1.8.1 sphinxcontrib-jquery==4.1 sphinx-copybutton==0.5.2 +# Pygments 2.19.0 improperly renders .ini files +# See https://github.com/pygments/pygments/issues/2834 +pygments>=2.18.0,!=2.19.0