Re: bug in texinfo.tex 2022-12-19.22

[arnold]

Hi.

Gavin Smith <gavinsmith0123@gmail.com> wrote:

> On Mon, Jan 02, 2023 at 10:36:20PM +0200, Arnold Robbins wrote:
> > Hi.
> > 
> > When I format the gawk manual using texinfo.tex 2022-12-19.22
> > there is a problem on the very first two pages. These are the
> > pages from @shorttitlepage.
> > 
> > The bug is that these pages have page numbers!  The first page
> > has a simple "1".  The second (otherwise blank) page has a
> > full header and the number "2".
> > 
> > This didn't use to happen.
>
> Many thanks for the report; this is definitely a bug and I'm glad
> you've reported it so quickly.

What else are friends for? :-)

> It should be fixed in commit 400d2ebbe47, version 2023-01-02.21.
>
> I have uploaded the new version to ftp.gnu.org as this bug was
> present in the previously-uploaded version.

Works great. I will get this into my repo in the next day or so.

Thank you very much for the quick turnaround!

Arnold