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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 20 10:33:24 2011 +0100

Updated.

---

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

diff --git a/bin/ppl_release b/bin/ppl_release index d47acb1..9289f54 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -172,8 +172,7 @@ build_tarfiles() {

changedir "${WORKING_DIRECTORY}"

- # The GNU Coding Standards specify that all files should - # world readable. + # The GNU Coding Standards specify that all files should be world readable. chmod -R a+r ${SOURCE_DIRECTORY} # And that all directories have mode 777. find ${SOURCE_DIRECTORY} -type d -exec chmod 777 {} ; @@ -309,18 +308,18 @@ RFC_2822_DATE=`date --rfc-2822` #GIT_SERVER="localhost" GIT_SERVER="git.cs.unipr.it" # The path to the repository on that server. -GIT_REPOSITORY="/git/ppl/ppl.git" +GIT_REPOSITORY="/ppl/ppl" # The GIT protocol to use. GIT_PROTOCOL="ssh" # The username to use when connecting to the server. -GIT_USERNAME="${USER}" +GIT_USERNAME="git"

# The machine to which files will be uploaded. PPL_HOSTNAME="ftp.cs.unipr.it" # The name of the account on the machine to which files are uploaded. PPL_USERNAME="root" # The directory in which the files will be placed. -FTP_PATH="/var/ftp/pub/ppl" +FTP_PATH="/srv/ftp/pub/ppl"

# The major number for the release. For release `3.0.2' this would be # `3'