Gavin Smith 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 i
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
I've just completed builds of texinfo-7.0.3 on 81 different platforms
in our test lab, and 61 of them passed all tests. When they were on
public servers visible to our users, the new version has been
installed. I normally skip installations on most of the test
machines.
Of the 20 remaining ones,
