Merge pull request #2470 from flip1995/doc_conf

Fix name of configuration parameters in documentation
This commit is contained in:
Oliver Schneider 2018-02-20 08:26:22 +01:00 committed by GitHub
commit e061261c48
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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