On Sun, Mar 26, 2023 at 08:54:20PM +0300, arn...@skeeve.com wrote: > 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 >
I replicated the issue with a version of gawk.texi I have installed. I don't need a screenshot. I expect I will be able to fix this, but it may take a day or two. The roman numerals are only supposed to be used for the front matter where the page numbers are also printed with roman numerals.