> 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 rpms/{BUILD,RPMS,SOURCES,...}