release -- What's new?

[Stephen Weeks]

> On a different not, did you every try playing with RPM pre or post install
> scripts as a method to adjust the mlton shell file when the RPM has been
> re-located.  It looked like it might work, but it wasn't entirely clear.
> I would think that pre-install is the way to go since hopefully that way the
> MD5 checksums would reflect the adjusted paths.

Nope.  I didn't look into it.  I just added a note to the user guide
about fixing the lib variable in the mlton script.

Feel free to try if you want to.