diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2019-06-10 08:52:48 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-06-20 14:09:59 +0200 |
commit | 6a1d8db4f27a30c2cc53bd336ed6db957e736c07 (patch) | |
tree | 605e34ea8c320a9ecca040e0c04a400448cf870a /doc | |
parent | b473ef86bb91d639a20754adc4f7ab83f2241de5 (diff) | |
download | pylint-git-6a1d8db4f27a30c2cc53bd336ed6db957e736c07.tar.gz |
Refactor - Use get_rest_title where it could be
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/exts/pylint_extensions.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index 6f2eaa5c4..f740ac5ce 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -8,11 +8,11 @@ import os import re import sys -import pkg_resources import sphinx from pylint.constants import MAIN_CHECKER_NAME from pylint.lint import PyLinter +from pylint.utils import get_rest_title # Some modules have been renamed and deprecated under their old names. # Skip documenting these modules since: @@ -51,8 +51,9 @@ def builder_inited(app): base_path, "doc", "technical_reference", "extensions.rst" ) with open(extensions_doc, "w") as stream: - stream.write("Optional Pylint checkers in the extensions module\n") - stream.write("=================================================\n\n") + stream.write( + get_rest_title("Optional Pylint checkers in the extensions module", "=") + ) stream.write("Pylint provides the following optional plugins:\n\n") for module in modules: stream.write("- :ref:`{}`\n".format(module)) |