This file is only intended for developpers as a reminder of how to
make a release.

* Check that all text files are LICENSEd.

grep -L Copyright `darcs query manifest` | grep -v .png | grep -v .xcf

Don't bother adding the LICENSE to very small files or files for which
licensing does not really make sense.

* Check the README.

* Check that there is no new, unrecorded file.

darcs whatsnew -ls

* Open options.ml and update the version number if needed.

* Make the .tgz.

make dist

* Check that it compiles and executes.

* Check the list of changes and prepare a summary.

darcs changes --from-tag x.y

* TAG the version.

darcs tag x.y

* Update the web page.
