diff options
author | Tushar Sadhwani <86737547+tushar-deepsource@users.noreply.github.com> | 2022-07-14 15:24:31 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-14 11:54:31 +0200 |
commit | dd5e2c7762294ae91f0e8e850224c14652dd23c6 (patch) | |
tree | 1d0b1715a7e3eb95174a673b1a441d1810326f4a /doc/exts | |
parent | 2336d56ab269397960a4a264091dbfe4adafca24 (diff) | |
download | pylint-git-dd5e2c7762294ae91f0e8e850224c14652dd23c6.tar.gz |
Fix config section name in doc (#7186)
The change should also be reflected in rendered docs, like in `doc/user_guide/configuration/all-options.rst`, but I think those are generated from this doc.
Diffstat (limited to 'doc/exts')
-rw-r--r-- | doc/exts/pylint_options.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/exts/pylint_options.py b/doc/exts/pylint_options.py index ed5af3194..f402125a7 100644 --- a/doc/exts/pylint_options.py +++ b/doc/exts/pylint_options.py @@ -120,7 +120,7 @@ def _create_checker_section( <details> <summary><a>Example configuration section</a></summary> -**Note:** Only ``pylint.tool`` is required, the section title is not. These are the default values. +**Note:** Only ``tool.pylint`` is required, the section title is not. These are the default values. .. code-block:: toml |