Update generation of bugs_by_version.json.

This commit is contained in:
Daniel Kirchner 2018-09-03 15:16:24 +02:00
parent a102f3b783
commit b4a02522a4

View File

@ -35,7 +35,7 @@ for v in versions:
continue continue
versions[v]['bugs'] += [bug['name']] versions[v]['bugs'] += [bug['name']]
new_contents = json.dumps(versions, sort_keys=True, indent=4) new_contents = json.dumps(versions, sort_keys=True, indent=4, separators=(',', ': '))
with open(path + '/../docs/bugs_by_version.json', 'r') as bugs_by_version: with open(path + '/../docs/bugs_by_version.json', 'r') as bugs_by_version:
old_contents = bugs_by_version.read() old_contents = bugs_by_version.read()
with open(path + '/../docs/bugs_by_version.json', 'w') as bugs_by_version: with open(path + '/../docs/bugs_by_version.json', 'w') as bugs_by_version: