diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-04-30 15:52:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-30 15:52:35 +0000 |
| commit | fd60b7284a78e3fe371dd90566f0cc316deaf4c4 (patch) | |
| tree | 29181e89b29908fa83ad22c49a8c2bd628c7a750 /doc/exts/pylint_options.py | |
| parent | 0b5defa5cfa4662d76cb01c90893c38428e3513c (diff) | |
| download | pylint-git-fd60b7284a78e3fe371dd90566f0cc316deaf4c4.tar.gz | |
Make sure a ``tool`` table is created in ``toml`` generation (#8638) (#8640)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
(cherry picked from commit 434d49f69a65adf75c86dd9629ffbb6d8300df67)
Co-authored-by: Daniël van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to 'doc/exts/pylint_options.py')
| -rw-r--r-- | doc/exts/pylint_options.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/exts/pylint_options.py b/doc/exts/pylint_options.py index f402125a7..2e6be23e2 100644 --- a/doc/exts/pylint_options.py +++ b/doc/exts/pylint_options.py @@ -70,8 +70,10 @@ def _create_checker_section( checker_string += get_rst_title(f"``{checker.capitalize()}`` **Checker**", "-") toml_doc = tomlkit.document() + tool_table = tomlkit.table(is_super_table=True) + toml_doc.add(tomlkit.key("tool"), tool_table) pylint_tool_table = tomlkit.table(is_super_table=True) - toml_doc.add(tomlkit.key(["tool", "pylint"]), pylint_tool_table) + tool_table.add(tomlkit.key("pylint"), pylint_tool_table) checker_table = tomlkit.table() |