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

[arnold]

Hi.

Gavin Smith <gavinsmith0123@gmail.com> wrote:

> 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.

There's no rush.  But I did think you'd want to know about it. :-)

> The roman numerals are only supposed to be used for the front matter
> where the page numbers are also printed with roman numerals.

One would think so, yes. :-)

Thanks,

Arnold