[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] doc: avoid makeinfo warning
|
From: |
Bernhard Voelker |
|
Subject: |
Re: [PATCH] doc: avoid makeinfo warning |
|
Date: |
Sun, 5 Mar 2017 18:07:44 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 |
On 03/04/2017 11:16 PM, Pádraig Brady wrote:
> Nice one. texinfo 6.1 (on Fedora 25) doesn't catch that,
> though I see 6.3 in rawhide which is probably the version you're using.
no, actually that was a quite old openSUSE-13.2 system with makeinfo-4.13.
I aleady planned to upgrade that system ...
> I've pushed this follow up patch to bump the texinfo requirement for devs:
>...
> -makeinfo 4.13
> +makeinfo 6.1
... so now you gave me some more motivation to do it. ;-)
Thanks & have a nice day,
Berny