On Mon, Mar 12, 2007 at 12:28:25PM +0100, Stephane Bortzmeyer <[EMAIL PROTECTED]> wrote a message of 15 lines which said:
> "make dist" uses it... On the very same machine. May be Makefile was > built with an older automake, I'll check. Indeed, rebuilding all the Makefile.in in the subdirectories solved the problem (this tree was in use for a long time). Thanks.
