Re: [PATCH] update print/texinfo to 7.1

2024-05-03 Thread Stuart Henderson
On 2024/05/03 11:21, Stuart Henderson wrote: > 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 texin

Re: [PATCH] update print/texinfo to 7.1

2024-05-03 Thread Stuart Henderson
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

[PATCH] update print/texinfo to 7.1

2024-05-02 Thread Dima Pasechnik
Dear all, 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). Only worked with gmake for me (thus it's used now). REVISION - I commented it out - correct? Patch attached. Dima diff --gi