Stephen Weeks MLton@sourcelight.com
Fri, 10 Aug 2001 02:01:32 -0700

> I would probably not do that, but store them in a top-level rpms directory in
> the source MLton directory root.

I believe we're closing in on a fixed point.  How about creating the following
in the MLton src dir, and building (and leaving) the rpms there