Re: makeinfo 4.13 support?

[Paul Eggert]

On 06/07/2016 02:59 AM, Peter Simons wrote:

ould
it be possible for gnulib to detect the presence of the old version and
to omit the flag in that case?

Yes, that should be doable. Is that a change you could contribute?