bug in texinfo.tex 2022-12-19.22

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

texinfo.tex problem formatting index

Hi. I just saw a weird case where texinfo.tex put a blank page in the middle of the index. To reproduce: git clone https://github.com/arnoldrobbins/prepinfo cd prepinfo make Look at the index in the PDF. This is with the current texinfo.tex. Please cc me on any respons

Updating contrib/prepinfo.awk

Hi. I'd like to update contrib/prepinfo.awk with the current version, if that's ok. (It's only been, like, 19 years... :-). The latest version is a literate program, now available at https://github.com/arnoldrobbins/prepinfo. I would just update the .awk file. I think I still have commit access