From e51e1169029f86592ff062e2ab2225f2f8dffbb3 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Mon, 8 Dec 2008 14:02:08 +0000 Subject: [PATCH] Remove and headers from public releases. --- Scripts/developer_scripts/create_new_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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