summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2019-06-10 08:52:48 +0200
committerClaudiu Popa <pcmanticore@gmail.com>2019-06-20 14:09:59 +0200
commit6a1d8db4f27a30c2cc53bd336ed6db957e736c07 (patch)
tree605e34ea8c320a9ecca040e0c04a400448cf870a /doc
parentb473ef86bb91d639a20754adc4f7ab83f2241de5 (diff)
downloadpylint-git-6a1d8db4f27a30c2cc53bd336ed6db957e736c07.tar.gz
Refactor - Use get_rest_title where it could be
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/exts/pylint_extensions.py7
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))