On Mon, Oct 20, 2003 at 09:54:13PM -0500, Manoj Srivastava wrote: > The documented interface says it is a Makefile. I treat it as > a Makefile; anything you do that allows me to treat it as a Makefile, > like the documented interface definition says, is fine. I'm not aware of any other kind of file which will behave sensibly when I treat it as a Makefile: make -f <file> Cheers, Nick