diff options
| -rw-r--r-- | doc/exts/pylint_features.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/exts/pylint_features.py b/doc/exts/pylint_features.py index 552d68468..5dd7f4cfb 100644 --- a/doc/exts/pylint_features.py +++ b/doc/exts/pylint_features.py @@ -21,6 +21,8 @@ def builder_inited(app): features = os.path.join(os.path.dirname('.'), 'features.rst') with open(features, 'wb') as stream: + stream.write("Pylint features\n") + stream.write("===============\n\n") stream.write(output) |