How to prepare a release:
-------------------------

- prepare release note (announce.txt)
- in build.xml, update the property stable.version
- ./build.sh bootinstall
- ./build.sh bootinstall
- ./build.sh all
- svn commit

- update the version of the manual (template.hva, tom.sty)
- update the date of the manual (manual.tex)
- build manual
- cp manual.pdf manual-<version>.pdf
- make manual.zip
- mkdir manual-<version> ; cd manual-<version> ; unzip ../manual.zip
- cd .. ; zip -r manual-<version>.zip manual-<version>

- prepare the eclipse plugin

- create distfiles:
- ./build.sh dist.all
- ./build.sh source.distribution

- upload files to gforge
- upload manual




- update Changelog, commit, tag the release with
  cvs -d $GFORGE rtag -R tom-2.5 jtom
  svn copy $GFORGE/jtom/trunk $GFORGE/jtom/tags/tom-2.5 -m "tag tree"

- add news entry in jtom-doc/www/{index.php,news.php}

