diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2019-06-10 10:37:32 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-06-20 14:09:59 +0200 |
commit | 30ba9f4756ed67d6779105b4ee741269501906c2 (patch) | |
tree | ffca130eb052d3dc6b058ab0ffdc2dcdd311752f /doc | |
parent | 8c30d86abc66f4e5003b01055ec398d6589a6007 (diff) | |
download | pylint-git-30ba9f4756ed67d6779105b4ee741269501906c2.tar.gz |
Refactor - Clearer function name ('rest' -> 'rst') in utils
I used the old name but there was probably a typo in it, as the format is
called rst.
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/exts/pylint_extensions.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index 01ba8a2b1..c12c4fcdd 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -12,7 +12,7 @@ import sphinx from pylint.constants import MAIN_CHECKER_NAME from pylint.lint import PyLinter -from pylint.utils import get_rest_title +from pylint.utils import get_rst_title # Some modules have been renamed and deprecated under their old names. # Skip documenting these modules since: @@ -52,7 +52,7 @@ def builder_inited(app): ) with open(extensions_doc, "w") as stream: stream.write( - get_rest_title("Optional Pylint checkers in the extensions module", "=") + get_rst_title("Optional Pylint checkers in the extensions module", "=") ) stream.write("Pylint provides the following optional plugins:\n\n") for module in modules: |