diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2016-07-06 17:55:26 +0100 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2016-07-08 15:07:48 +0100 |
| commit | f2b9aed3a6fa52d53746f74cea04e540b3da30d0 (patch) | |
| tree | 21f8632ab648cc33d36691de1091e837c9c8412e | |
| parent | 3ef881bdc0e9d76f5a777da581f8a8a95043048a (diff) | |
| download | pylint-git-f2b9aed3a6fa52d53746f74cea04e540b3da30d0.tar.gz | |
Add the header for the features document.
| -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) |