rpmbuild

[Stephen Weeks]

> I think that would be fine.  I would still probably slightly prefer (but really
> very slightly) constructing and removing these since that way the source and
> binary RPM end up in the same directory (instead of one in SRPMS and the
> other in RPMS/i386), but either way is completely fine with me.

OK.  I've checking in a make-rpms that builds stuff in src/rpms (where src is
wherever the MLton sources are) and stores the rpms there.  I put the ss'es back
in the script, because the cvs checkouts don't work as root.  Anyways, for now,
I'll settle for this script working for me (it does) and Matthew (check it out
when you get in).  Once Henry sets up CVS on sourcelight, we'll make it work for
the three of us, and then, if anyone else ever needs it, we'll figure out what
to do then.