diff --git a/Installation/VERSION b/Installation/VERSION deleted file mode 100644 index a02597f4b0a..00000000000 --- a/Installation/VERSION +++ /dev/null @@ -1 +0,0 @@ -3.9 \ No newline at end of file diff --git a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake index 6816307c3ce..97ed3ad9017 100644 --- a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake +++ b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake @@ -84,6 +84,9 @@ foreach(pkg ${files}) endif() endforeach() +#create VERSION +file(WRITE ${release_dir}/VERSION "${CGAL_VERSION}") + # removal of extra directories and files file(REMOVE_RECURSE ${release_dir}/doc/fig_src) file(REMOVE_RECURSE ${release_dir}/benchmark)