diff options
Diffstat (limited to 'doc/exts/pylint_features.py')
-rwxr-xr-x | doc/exts/pylint_features.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/doc/exts/pylint_features.py b/doc/exts/pylint_features.py index 2ff0e52a7..4803efc9a 100755 --- a/doc/exts/pylint_features.py +++ b/doc/exts/pylint_features.py @@ -15,12 +15,13 @@ from pylint.lint import PyLinter def builder_inited(app): # PACKAGE/docs/exts/pylint_extensions.py --> PACKAGE/ base_path = os.path.dirname( - os.path.dirname(os.path.dirname(os.path.abspath(__file__)))) + os.path.dirname(os.path.dirname(os.path.abspath(__file__))) + ) linter = PyLinter() linter.load_default_plugins() - features = os.path.join(base_path, 'doc', 'technical_reference', 'features.rst') - with open(features, 'w') as stream: + features = os.path.join(base_path, "doc", "technical_reference", "features.rst") + with open(features, "w") as stream: stream.write("Pylint features\n") stream.write("===============\n\n") stream.write(".. generated by pylint --full-documentation\n\n") @@ -28,8 +29,9 @@ def builder_inited(app): def setup(app): - app.connect('builder-inited', builder_inited) - return {'version': sphinx.__display_version__} + app.connect("builder-inited", builder_inited) + return {"version": sphinx.__display_version__} + if __name__ == "__main__": builder_inited(None) |