> On 27 Oct 2024, at 08:08, Thomas Koenig <tkoe...@netcologne.de> wrote:
>
> Am 27.10.24 um 00:15 schrieb Iain Sandoe:
>> Tested on x86_64-darwin21 and linux, with makeinfo 6.7 pushed to trunk,
>> thanks
> For the record, makeinfo 6.8 did not show this as an error.
Hmm that’s maybe a regression in texinfo 6.8 then, because the entry was,
indeed,
missing. According to our installation pages we only require >= 4.7 (although,
for
some reason, I was under the impression that had been bumped up recently).
Anyway .. resolved for now
cheers
Iain
