diff options
| author | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2022-10-06 20:58:41 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-06 20:58:41 (GMT) |
| commit | 993de50e44ce275ad96857e73e144c556eea68b0 (patch) | |
| tree | 006d350a87fcf391c99a12c58c8bb2132a464272 /Doc | |
| parent | 1c4728cc299953c61e0e1cdb077eefccfd555b87 (diff) | |
| download | cpython-993de50e44ce275ad96857e73e144c556eea68b0.zip cpython-993de50e44ce275ad96857e73e144c556eea68b0.tar.gz cpython-993de50e44ce275ad96857e73e144c556eea68b0.tar.bz2 | |
Docs: pin sphinx-lint (GH-97992)
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/requirements.txt b/Doc/requirements.txt index be05873..960ac54 100644 --- a/Doc/requirements.txt +++ b/Doc/requirements.txt @@ -10,7 +10,7 @@ blurb # 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<1,!=0.6.2 +sphinx-lint==0.6.1 # The theme used by the documentation is stored separately, so we need # to install that as well. |