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've attempted to fix it in version 2023-03-27.21. I tried to support different configurations of manual (e.g. @contents at start, @contents at end, no @contents) but it is quite possible I've missed some possibilities.
