On 2024/05/02 09:46, Dima Pasechnik wrote:
> A straightforward update; it appears that the patch has been merged
> upstream (with a subsequent refactoring - one can find patched lines, in
> a different file).

Last time I tried updating texinfo it wasn't straightforward,
but maybe something changed in the newer upstream versions.
I'll have a look over this and try building dependent ports.

> REVISION - I commented it out - correct?

Just remove that when updating to a newer version.