gatein/gatein-portal — pull request #31 by bdaw (2012-05-18 12:12:41+00:00)
Title: Add scripts to help with release process

Some simple bash scripts that help package all servers and docs and upload to the server.