From 12e3fd64bbb9c8b70ecdcd92910ca85b627898a5 Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 23 Apr 2017 17:29:03 +0200 Subject: [PATCH] Release script --- new-release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/new-release.py b/new-release.py index 3decfaf..07ebd1c 100755 --- a/new-release.py +++ b/new-release.py @@ -226,7 +226,7 @@ if __name__ == '__main__': # Disallow uncommitted changes in the index run("git diff-index --cached --quiet HEAD --ignore-submodules --") # Update version string - replace_in_file("README.md", old_version, readable_version) + replace_in_file("README.md", old_version.replace("v", ""), readable_version) update_man("doc/tint2.md", readable_version, date) update_log("ChangeLog", readable_version, date) run("git commit -am 'Release %s'" % readable_version)