Cleanup scripts

This commit is contained in:
Victor Zverovich
2023-12-30 15:08:27 -08:00
parent bd3273021b
commit 4939d67a83
2 changed files with 8 additions and 3 deletions

View File

@ -284,7 +284,7 @@ def release(args):
script = os.path.join('doc', 'build.py')
script_path = os.path.join(fmt_repo.dir, script)
for line in fileinput.input(script_path, inplace=True):
m = re.match(r'( *versions = )\[(.+)\]', line)
m = re.match(r'( *versions \+= )\[(.+)\]', line)
if m:
line = '{}[{}, \'{}\']\n'.format(m.group(1), m.group(2), version)
sys.stdout.write(line)