diff --git a/Documentation/doc/CMakeLists.txt b/Documentation/doc/CMakeLists.txt index 83b0918e75f..71c80cb6777 100644 --- a/Documentation/doc/CMakeLists.txt +++ b/Documentation/doc/CMakeLists.txt @@ -253,10 +253,15 @@ if (NOT CGAL_CREATED_VERSION_NUM) set(CGAL_CREATED_VERSION_NUM "${CGAL_MAJOR_VERSION}.${CGAL_MINOR_VERSION}") endif() else() - #read version.h and get the line with CGAL_VERSION - file(STRINGS "${CGAL_ROOT}/include/CGAL/version.h" CGAL_VERSION_LINE REGEX "CGAL_VERSION ") - #extract release id - string(REGEX MATCH "[0-9]+\\.[0-9]+\\.?[0-9]*" CGAL_CREATED_VERSION_NUM "${CGAL_VERSION_LINE}") + if(EXISTS "${CGAL_ROOT}/doc/public_release_name") + file(STRINGS "${CGAL_ROOT}/doc/public_release_name" CGAL_VERSION_LINE) + string(REGEX REPLACE "CGAL-" "" CGAL_CREATED_VERSION_NUM "${CGAL_VERSION_LINE}") + else() + #read version.h and get the line with CGAL_VERSION + file(STRINGS "${CGAL_ROOT}/include/CGAL/version.h" CGAL_VERSION_LINE REGEX "CGAL_VERSION ") + #extract release id + string(REGEX MATCH "[0-9]+\\.[0-9]+\\.?[0-9]*" CGAL_CREATED_VERSION_NUM "${CGAL_VERSION_LINE}") + endif() endif() endif() @@ -264,6 +269,7 @@ endif() # closely to the convoluted versioning code and can adapt without a # huge diff. set(CGAL_DOC_VERSION ${CGAL_CREATED_VERSION_NUM}) +message(CGAL_DOC_VERSION: ${CGAL_DOC_VERSION}) ## generate how_to_cite files if(PYTHONINTERP_FOUND) diff --git a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake index f6b3e42b7d7..38905c3e239 100644 --- a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake +++ b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake @@ -154,6 +154,10 @@ foreach(pkg ${files}) process_package(${pkg}) endif() endforeach() +if(EXISTS ${GIT_REPO}/Maintenance/release_building/public_release_name) + file(COPY "${GIT_REPO}/Maintenance/release_building/public_release_name" + DESTINATION "${release_dir}/doc") +endif() #create VERSION file(WRITE ${release_dir}/VERSION "${CGAL_VERSION}")