#summary Commands to produce a new release.

This is not a script. It is intended to be performed manually to notice errors and be aware of what is happening.

{{{
VERSION=0.90

# Tag version.
cd pre-existing-plexi/
git checkout origin/master # This is the commit we are going to tag
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

# Update "External links" to point to new documentation.
# Update main page to point to new release.
}}}