diff options
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", ] |