From 2d9d32c62b1f5396db59516f0e83649966b4cf54 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sat, 29 Jun 2024 07:25:35 -0700 Subject: [PATCH] Update build script --- support/manage.py | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/support/manage.py b/support/manage.py index 08a8af24..71d960be 100755 --- a/support/manage.py +++ b/support/manage.py @@ -271,17 +271,8 @@ def release(args): line = prefix + version + ')\n' sys.stdout.write(line) - # Add the version to the build script. - 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) - if m: - line = '{}[{}, \'{}\']\n'.format(m.group(1), m.group(2), version) - sys.stdout.write(line) - fmt_repo.checkout('-B', 'release') - fmt_repo.add(changelog, cmakelists, script) + fmt_repo.add(changelog, cmakelists) fmt_repo.commit('-m', 'Update version') # Build the docs and package.