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
