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.