diff --git a/dev/set-version.sh b/dev/set-version.sh index c4cd28383213e80337f5e80b791323082d505dee..9ac93e3b5833553cd6d48c5636bd12fa3d292581 100755 --- a/dev/set-version.sh +++ b/dev/set-version.sh @@ -87,6 +87,9 @@ else echo "$NEXT" >VERSION echo "$NEXT_CODENAME" >VERSION_CODENAME + # Ivette + $SED -i "s/^ \"version\": .*/ \"version\": \"$CURRENT_MAJOR.$CURRENT_MINOR.0\",/g" ivette/package.json + # Opam files $SED -i "s/^version: .*/version: \"$NEXT\"/g" opam $SED -i "s/\(.*\)$CURRENT_MAJOR.$CURRENT_MINOR-$CURRENT_CODENAME\(.*\)/\1$NEXT_MAJOR.$NEXT_MINOR-$NEXT_CODENAME\2/g" opam