#summary Commands to produce a new release.

{{{
VERSION=0.90

# Tag version.
git tag -a v$VERSION -m "Version $VERSION"
git push --tags

# Build.
cd ~
git clone https://code.google.com/p/plexi/ && cd plexi
git checkout v$VERSION
ant -Dadaptorlib.suffix=-$VERSION dist
# Upload dist/ files. Mark new files featured, remove featured from old files.
cd dist
unzip adaptor-$VERSION-bin.zip adaptor-$VERSION-docs.zip

# Update online documentation.
cd ~
git clone https://code.google.com/p/plexi.documentation/ && cd plexi.documentation
rm -r *
mkdir javadoc && cd javadoc
unzip ~/plexi/dist/adaptor-$VERSION-docs.zip
git add -A
git commit -m "Update for version $VERSION"
git tag -a v$VERSION -m "Version $VERSION"
git push --tags
}}}