On Sun, May 13, 2001 at 02:45:55PM -0700, Mark Mitchell wrote: > It would be good if someone would send a patch to the GNU Make > maintainers. > > I don't have time, unfortunately. I'm writing an email to Paul Smith right now, because this has come up on two mailing list recently! Andrew