Re: EXTRA_DIST = config.h.in

[Tom Tromey]

>>>>> "Bruce" == Bruce Korb <address@hidden> writes:

Bruce> Why is this now necessary?  It did not used to be.  Is this
Bruce> intended?  Is there an "upgrading README" file kicking around?

It is probably a newly introduced bug.
You don't mention what version you are using though.
Could you submit a full bug report?
That would include the version number, preferably a short example, and
an explanation of what you expected and what actually happened.
Generally speaking the platform is not important.

Tom