Re: makeinfo 4.13 support?

2016-06-07 Thread 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?

makeinfo 4.13 support?

2016-06-07 Thread Peter Simons
Hi, the autoconf-archive project uses the "gendocs" module to convert its Texinfo documentation into HTML, and this used to work just fine. In recent versions like v0.1-788-g190bc0f, however, calls to "makeinfo" fail with the following error message: | Generating monolithic html... (env LANG= LC