Hi. Gavin Smith <gavinsmith0...@gmail.com> wrote:
> 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. 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
