Fix name of configuration parameters in documentation

2018-02-19 16:30:19 +01:00 · 2018-02-19 16:30:19 +01:00 · 339d2d5be0
parent 038b17f3a6
commit 339d2d5be0
1 changed files with 1 additions and 1 deletions
--- a/util/lintlib.py
+++ b/util/lintlib.py
@ -77,7 +77,7 @@ def parse_configs(path):
    confvars = re.findall(confvar_re, match.group(1))

    for (lint, doc, name, default, ty) in confvars:
-        configs[lint.lower()] = Config(name, ty, doc, default)
+        configs[lint.lower()] = Config(name.replace("_", "-"), ty, doc, default)

    return configs