diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release index 9c4bd89e686..5d62a6bfbf8 100755 --- a/Scripts/developer_scripts/create_new_release +++ b/Scripts/developer_scripts/create_new_release @@ -283,7 +283,7 @@ if [ -n "$DO_PUBLIC" ]; then 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 # Patch the date and CGAL version in man(1) pages - sed -e "s/@DATE@/`date '+%B %Y'`/; s/@CGAL_VERSION@/$public_release_name/" auxiliary/*.1 + sed -i -e "s/@DATE@/`date '+%B %Y'`/; s/@CGAL_VERSION@/$public_release_version/" auxiliary/*.1 echo -n $public_release_version > VERSION 2>&1 cd ..