Hi. I just formatted the gawk manual to PDF. The pages themselves look fine. However, using evince on Ubuntu 22.04, the side bar showing the sections and pages, has all the page numbers in roman numerals!
I'm using texi2pdf 7.0.1. Let me know if you want a screen shot. Thanks, Arnold
