diff --git a/scripts/RELEASE_DOC.md b/scripts/RELEASE_DOC.md index 2b2e5f4..830018e 100644 --- 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 index c90c026..b4ae0c9 100755 --- 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