From 35b94b7ce2ffa9c82a7c8a14b0b9a65927670279 Mon Sep 17 00:00:00 2001 From: "Miss Islington (bot)" <31488909+miss-islington@users.noreply.github.com> Date: Thu, 6 Oct 2022 14:01:27 -0700 Subject: [PATCH] [3.11] Docs: pin sphinx-lint (GH-97992) (GH-97993) --- Doc/requirements.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Doc/requirements.txt b/Doc/requirements.txt index f8a7f9db144c21..960ac54d7b91ef 100644 --- a/Doc/requirements.txt +++ b/Doc/requirements.txt @@ -7,7 +7,10 @@ sphinx==4.5.0 blurb -sphinx-lint<1 +# sphinx-lint 0.6.2 yields many default role errors due to the new regular +# expression used for default role detection, so we don't use the version +# until the errors are fixed. +sphinx-lint==0.6.1 # The theme used by the documentation is stored separately, so we need # to install that as well.