Re: weird bug texinfo.tex 2023-03-21.06

[Gavin Smith]

On Sun, Mar 26, 2023 at 08:54:20PM +0300, arnold@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.