Re: [bug-gawk] 'make -C doc/ pdf' [Makefile:457: recipe for target gawk.pdf failed]

[arnold]

Gavin Smith <address@hidden> wrote:

> On 12 September 2016 at 18:52,  <address@hidden> 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