WHAT????

Stephen Weeks MLton@sourcelight.com
Wed, 3 Oct 2001 14:22:45 -0700


> Should I just make the Red Hat 7 RPMs myself using make-rpms?  If not then
> please send them to me so that I can make the Red Hat 6 ones.
> (I've never run the make-rpms script.)

You can either make them yourself (I'll be interested to see how make-rpms works
for you) or use the stuff in 

	http://www.star-lab.com/sweeks/mlton-home.tgz

which I just made, and contains the new release as far as I'm concerned.