[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in texinfo.tex 2022-12-19.22
From: |
arnold |
Subject: |
Re: bug in texinfo.tex 2022-12-19.22 |
Date: |
Tue, 03 Jan 2023 01:09:01 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
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