bug in texinfo.tex 2022-12-19.22

[Arnold Robbins]

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