diff options
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-01-28 23:00:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-28 23:00:40 +0100 |
| commit | 4c2eb2d2936229097544f413ddf3ebf7bb06ef3c (patch) | |
| tree | b347df276e2eff568a1a57d6b027121e52bf96b5 /doc/conf.py | |
| parent | 0a2bf37e78c1e98697c188a03325332cfce03a4d (diff) | |
| download | pylint-git-4c2eb2d2936229097544f413ddf3ebf7bb06ef3c.tar.gz | |
Create separate documentation page for each message (#5396)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index d76cc67e3..1c44c89c6 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -36,6 +36,7 @@ sys.path.append(os.path.abspath("exts")) extensions = [ "pylint_features", "pylint_extensions", + "pylint_messages", "sphinx.ext.autosectionlabel", "sphinx.ext.intersphinx", ] |