mirror of https://github.com/CGAL/cgal
Followup r73187: fix the script.
This commit is contained in:
parent
46db94a606
commit
d2bbb00578
|
|
@ -283,7 +283,7 @@ if [ -n "$DO_PUBLIC" ]; then
|
|||
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
|
||||
sed -i -e "s/@DATE@/`date '+%B %Y'`/; s/@CGAL_VERSION@/$public_release_version/" auxiliary/*.1
|
||||
|
||||
echo -n $public_release_version > VERSION 2>&1
|
||||
cd ..
|
||||
|
|
|
|||
Loading…
Reference in New Issue