From 6a1d8db4f27a30c2cc53bd336ed6db957e736c07 Mon Sep 17 00:00:00 2001 From: Pierre Sassoulas Date: Mon, 10 Jun 2019 08:52:48 +0200 Subject: Refactor - Use get_rest_title where it could be --- doc/exts/pylint_extensions.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'doc') 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)) -- cgit v1.2.1