[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: makeinfo 4.13 support?

From: Paul Eggert
Subject: Re: makeinfo 4.13 support?
Date: Tue, 7 Jun 2016 16:40:15 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.1.0

On 06/07/2016 02:59 AM, Peter Simons wrote:
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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]