| #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. |
| }}} |