diff options
| author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-10-09 19:41:39 +0200 |
|---|---|---|
| committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-10-10 11:16:40 +0200 |
| commit | 63810dc799855025272247f49736e25171253933 (patch) | |
| tree | ca62fc1ded22781738b2f6d4e078dc9f49ca6243 /doc/conf.py | |
| parent | dc5dfae5945661a3733d5f133de8eabcc298fcf8 (diff) | |
| download | pylint-git-63810dc799855025272247f49736e25171253933.tar.gz | |
[release notes] Permit to have multiple section with the same name
Co-authored-by: Andreas Finkler <3929834+DudeNr33@users.noreply.github.com>
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 022cab9e2..b65cdd8a0 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -296,4 +296,8 @@ intersphinx_mapping = { # through including multiple documents autosectionlabel_prefix_document = True +# Permit duplicated titles in the resulting document. +# See https://github.com/PyCQA/pylint/issues/7362#issuecomment-1256932866 +autosectionlabel_maxdepth = 2 + linkcheck_ignore = ["https://github.com/PyCQA/pylint/blob/main/pylint/extensions/.*"] |