Fix the date in man pages

This commit is contained in:
Laurent Rineau 2019-10-21 18:46:18 +02:00
parent a3f84af974
commit 30479e5c12
1 changed files with 10 additions and 0 deletions

View File

@ -171,6 +171,7 @@ if(EXISTS ${GIT_REPO}/.git)
endif() endif()
# update CGAL_RELEASE_DATE # update CGAL_RELEASE_DATE
string(TIMESTAMP TODAY "%Y%m%d") string(TIMESTAMP TODAY "%Y%m%d")
string(TIMESTAMP TODAY_FOR_MANPAGES "%B %Y")
string(REPLACE "CGAL_RELEASE_DATE 20170101" "CGAL_RELEASE_DATE ${TODAY}" file_content "${file_content}") string(REPLACE "CGAL_RELEASE_DATE 20170101" "CGAL_RELEASE_DATE ${TODAY}" file_content "${file_content}")
# update CGAL_VERSION # update CGAL_VERSION
string(REPLACE "CGAL_VERSION ${CGAL_VERSION_INPUT}" "CGAL_VERSION ${CGAL_VERSION}" file_content "${file_content}") string(REPLACE "CGAL_VERSION ${CGAL_VERSION_INPUT}" "CGAL_VERSION ${CGAL_VERSION}" file_content "${file_content}")
@ -180,6 +181,15 @@ if (CGAL_VERSION_NR)
endif() endif()
file(WRITE ${release_dir}/include/CGAL/version.h "${file_content}") file(WRITE ${release_dir}/include/CGAL/version.h "${file_content}")
# Equivalent to
# # Patch the date and CGAL version in man(1) pages
# sed -i -e "s/@DATE@/`date '+%B %Y'`/; s/@CGAL_VERSION@/$public_release_version/" auxiliary/*.1
set(DATE ${TODAY_FOR_MANPAGES})
file(GLOB MANPAGES RELATIVE "${GIT_REPO}/Installation" "${GIT_REPO}/Installation/auxiliary/*.1")
foreach(manpage ${MANPAGES})
configure_file(${GIT_REPO}/Installation/${manpage} ${release_dir}/${manpage} @ONLY)
endforeach()
# make an extra copy of examples and demos for the testsuite and generate # make an extra copy of examples and demos for the testsuite and generate
# create_cgal_test_with_cmake for tests, demos, and examples # create_cgal_test_with_cmake for tests, demos, and examples
if (TESTSUITE) if (TESTSUITE)