update the replacement string for URL

This commit is contained in:
Sébastien Loriot 2017-11-17 12:28:33 +01:00
parent eda6d41e8f
commit dd5a9163d0
1 changed files with 1 additions and 1 deletions

View File

@ -69,7 +69,7 @@ foreach(pkg ${files})
get_filename_component(fext ${fname} EXT) get_filename_component(fext ${fname} EXT)
if ("${fext}" STREQUAL ".h" OR "${fext}" STREQUAL ".hpp") if ("${fext}" STREQUAL ".h" OR "${fext}" STREQUAL ".hpp")
file(READ "${pkg_dir}/${f}" file_content) file(READ "${pkg_dir}/${f}" file_content)
string(REPLACE "$URL$" "${GITHUB_PREFIX}/${pkg}/${f}" file_content ${file_content}) string(REPLACE "$URL$" "$URL: ${GITHUB_PREFIX}/${pkg}/${f} $" file_content ${file_content})
string(REPLACE "$Id$" "This file is from the release ${CGAL_VERSION} of CGAL" file_content ${file_content}) string(REPLACE "$Id$" "This file is from the release ${CGAL_VERSION} of CGAL" file_content ${file_content})
file(WRITE ${release_dir}/${afile_dir}/${fname} ${file_content}) file(WRITE ${release_dir}/${afile_dir}/${fname} ${file_content})
else() else()