update release scrtipts

sebsto · Sep 12, 2022 · 3227c91 · 3227c91
1 parent aba78e0
commit 3227c91
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/scripts/RELEASE_DOC.md b/scripts/RELEASE_DOC.md
@@ -1,8 +1,8 @@
 ## To release a new version.
 
-1. Update version number in `scripts/release-sources.sh`
+1. Commit all other changes and push them
 
-2. Commit all other changes and push them
+2. Update version number in `scripts/release-sources.sh`
 
 3. `./scripts/release_sources.sh`
 

diff --git a/scripts/release_sources.sh b/scripts/release_sources.sh
@@ -5,7 +5,7 @@ set -o pipefail
 echo "Did you update version number before running this script ?"
 # exit -1 
 ######################
-VERSION="0.4"
+VERSION="0.5"
 ######################
 
 echo $VERSION > VERSION