diff options
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-16 21:02:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-16 21:02:34 +0200 |
| commit | 86ed7fa47b501bfbab46a3fe84e02aea5a51376d (patch) | |
| tree | 0c7b9584c5be97c2b31e0058d9f89dde0d704f00 /doc/conf.py | |
| parent | 1de6da157c260c5a1398bc59c5f2b57abc4912a6 (diff) | |
| download | pylint-git-86ed7fa47b501bfbab46a3fe84e02aea5a51376d.tar.gz | |
Create a documentation page with all options (#6346)
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 10be3b16c..9ea16d376 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -40,6 +40,7 @@ extensions = [ "pylint_features", "pylint_extensions", "pylint_messages", + "pylint_options", "sphinx.ext.autosectionlabel", "sphinx.ext.intersphinx", ] |