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.
To reproduce:
git clone https://git.savannah.gnu.org/r/gawk.git
cd gawk
./bootstrap.sh && ./configure && make
cd doc
make pdf
Thanks,
Arnold
