On Sun, Sep 18, 2011 at 6:34 PM, Peter Foley <pefoley2 at verizon.net> wrote: > The attached patch changes distclean to delete configure generated files. > I'd like to check that this is ok before commiting. Looks fine. Norbert