diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release index 58f5dc29f48..10f8ddfdc29 100755 --- a/Scripts/developer_scripts/create_new_release +++ b/Scripts/developer_scripts/create_new_release @@ -308,10 +308,10 @@ if [ -n "$DO_PUBLIC" ]; then public_release_number="1${major_nr}${minor_nr}${bugfix_nr}1000" fi public_release_version="${MAJOR_NUMBER}.${MINOR_NUMBER}${BUGFIX_STRING}" - if [ -r "${NUMBERS_DIR}/public_release_name" ]; then - public_release_name=`cat "${NUMBERS_DIR}/public_release_name"` - elif [ -n "$BETA" ]; then + if [ -n "$BETA" ]; then public_release_name="CGAL-${public_release_version}-beta${$BETA}" + elif [ -r "${NUMBERS_DIR}/public_release_name" ]; then + public_release_name=`cat "${NUMBERS_DIR}/public_release_name"` else public_release_name="CGAL-${public_release_version}" fi