diff options
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: |