Re: makeinfo 4.13 support?

[Peter Simons]

Hi Paul,

 >> would 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?

no, I'm afraid not. :-(

Best regards,
Peter