[Top][All Lists]

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

Re: makeinfo 4.13 support?

From: Peter Simons
Subject: Re: makeinfo 4.13 support?
Date: Wed, 08 Jun 2016 21:20:36 +0200

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,

reply via email to

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