Re: This configure.in script does not work with autoconf 2.14

[Akim Demaille]

You didn't send the input, but my bet is that you have nested two here
docs with the same tags.  You might not even know this since Autoconf
stupidly uses EOF at zillions of different places.  I plan to change
them all into ACEOF or alike.

But then, maybe that's another issue :)