diff options
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-09-22 13:54:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-22 13:54:57 +0200 |
| commit | ea86fcf71af6f2e39ce1fdcab5f8bf05b4d32082 (patch) | |
| tree | f6994bfa098c003121d2651d11b9a729d122ecfd /doc/development_guide | |
| parent | 30947ad2c61220bb05f4ed39e7f5e5bbe2330341 (diff) | |
| download | pylint-git-ea86fcf71af6f2e39ce1fdcab5f8bf05b4d32082.tar.gz | |
A collection of documentation updates (#7512)
* Update ``exec--used`` documentation
Closes https://github.com/PyCQA/pylint/issues/7039
* Be more explicit about third party plugins
Closes https://github.com/PyCQA/pylint/issues/6900
* Document behaviour of config file generators
Refs. https://github.com/PyCQA/pylint/issues/7478
Co-authored-by: Mark Byrne <31762852+mbyrnepr2@users.noreply.github.com>
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'doc/development_guide')
| -rw-r--r-- | doc/development_guide/how_tos/plugins.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/development_guide/how_tos/plugins.rst b/doc/development_guide/how_tos/plugins.rst index bc2c0f14c..3940f2481 100644 --- a/doc/development_guide/how_tos/plugins.rst +++ b/doc/development_guide/how_tos/plugins.rst @@ -1,5 +1,7 @@ .. -*- coding: utf-8 -*- +.. _plugins: + How To Write a Pylint Plugin ============================ |