Gavin Smith <[email protected]> wrote:
> On 12 September 2016 at 18:52, <[email protected]> wrote:
> > Hi.
> >
> >> there seems to be a regression for the documentation of gawk. I'm not able
> >> to compile the PDF version of it with current version 4.1.4. I was able to
> >> compile it in the same way for 4.1.3.
> >>
> >> There's a lot of output during compilation, and unfortunately I do not have
> >> time to look at it now... :-/ Here's the link to the gawk.log:
> >>
> >> http://pastebin.com/skxGpHnL
> >
> There looks nothing wrong with that output: it finishes processing the file:
>
> [477] [478] [479] [480] [481] [482] [483] [484] [485] [486]
> (GNU Free Documentation License) [487] [488] [489] [490] [491] [492] [493]
> [494] [495] (Index) [496] [497] [498] )
> Here is how much of TeX's memory you used:
>
> ...
>
> Output written on gawk.pdf (508 pages, 1740511 bytes).
Looking at the raw paste data:
(./gawk.texi (/home/dkaspar/Downloads/gawk-4.1.4/doc/texinfo.tex
Loading texinfo [version 2013-02-01.11]:
But looking at what I put into the tarball:
$ grep version texinfo.tex
\def\texinfoversion{2016-02-05.07}
This is the cause. David - this is in your court.
Thanks,
Arnold
