diff options
Diffstat (limited to 'doc/exts/pylint_extensions.py')
| -rwxr-xr-x | doc/exts/pylint_extensions.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index 4dc6f184f..31678735d 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -67,9 +67,13 @@ def builder_inited(app): "\n load-plugins=pylint.extensions.docparams," "pylint.extensions.docstyle\n\n" ) + + # Print checker documentation to stream by_checker = get_plugins_info(linter, doc_files) for checker, information in sorted(by_checker.items()): - linter._print_checker_doc(information, stream=stream) + checker = information["checker"] + del information["checker"] + print(checker.get_full_documentation(**information)[:-1], file=stream) def get_plugins_info(linter, doc_files): |