From 6c5bcca819a36eb81ee6eb4c07380ee290374805 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Mon, 1 Jan 2024 11:26:19 -0800 Subject: [PATCH] Fix the release script --- support/manage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/manage.py b/support/manage.py index cfb49797..41a39c47 100755 --- a/support/manage.py +++ b/support/manage.py @@ -298,7 +298,6 @@ def release(args): run = Runner(fmt_repo.dir) run('cmake', '.') run('make', 'doc', 'package_source') - update_site(env) # Create a release on GitHub. fmt_repo.push('origin', 'release') @@ -320,6 +319,7 @@ def release(args): if r.status_code != 201: raise Exception('Failed to upload an asset ' + str(r)) + update_site(env) if __name__ == '__main__': args = docopt.docopt(__doc__)