Add lint groups to doc export

2018-04-10 12:23:41 +02:00 · 2018-04-10 12:23:41 +02:00 · b46a3e5324
commit b46a3e5324
parent 4015395888
1 changed files with 1 additions and 0 deletions
--- a/util/export.py
+++ b/util/export.py
@ -18,6 +18,7 @@ This lint has the following configuration variables:
 def parse_lint_def(lint):
    lint_dict = {}
    lint_dict['id'] = lint.name
+    lint_dict['group'] = lint.group
    lint_dict['level'] = lint.level
    lint_dict['docs'] = {}