[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in texinfo.tex 2022-12-19.22
From: |
Gavin Smith |
Subject: |
Re: bug in texinfo.tex 2022-12-19.22 |
Date: |
Mon, 2 Jan 2023 21:53:57 +0000 |
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.
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.