Module: ppl/w3ppl Branch: master Commit: ff3ebc74002570690d1bf2f685fe6bd3c8e61a0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ff3ebc74002...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 18 06:59:29 2009 +0200

Small improvements.

---

bin/ppl_release | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/ppl_release b/bin/ppl_release index 856d715..28a653b 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -106,9 +106,9 @@ build_sources() { error "Could not checkout ${BRANCH}" for x in `find ${SOURCE_DIRECTORY} -name ChangeLog`; do cat - ${x} > ${x}.new <<EOF -${LONG_DATE} Release Manager +${LONG_DATE} Roberto Bagnara bagnara@cs.unipr.it

- * PPL ${RELEASE} Released. + * PPL ${RELEASE} released.

EOF mv ${x}.new ${x} || \