diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release index 4228498efcf..9e4683753e3 100755 --- a/Scripts/developer_scripts/create_new_release +++ b/Scripts/developer_scripts/create_new_release @@ -200,7 +200,7 @@ if [ "$DO_PUBLIC" ]; then mv ${release_name} $public_release_name cd ${public_release_name} - rm -rf test package_info developer_scripts doc_tex winutils + rm -rf test package_info developer_scripts doc_tex winutils include/CGAL/Test include/CGAL/Testsuite/ rm -f examples/*/cgal_test demo/*/cgal_test sed -i -e "s/define CGAL_VERSION .*/define CGAL_VERSION $public_release_version/" -e "s/define CGAL_VERSION_NR .*/define CGAL_VERSION_NR $public_release_number/" include/CGAL/version.h echo -n $public_release_version > VERSION 2>&1