mirror of https://github.com/CGAL/cgal
Patch the date and CGAL version in man(1) pages
This commit is contained in:
parent
4c75c1a88d
commit
a0a88a3767
|
|
@ -278,7 +278,13 @@ if [ -n "$DO_PUBLIC" ]; then
|
|||
rm -rf bench* Bench* test package_info developer_scripts doc_tex winutils include/CGAL/Test include/CGAL/Testsuite/
|
||||
rm -f examples/*/cgal_test* demo/*/cgal_test*
|
||||
find . -name .scm-urls -exec rm '{}' '+'
|
||||
|
||||
# Modify the version numbers in <CGAL/version.h>
|
||||
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
|
||||
|
||||
echo -n $public_release_version > VERSION 2>&1
|
||||
cd ..
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue