Hi. Gavin Smith <gavinsmith0...@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
