Re: [bug-gawk] makeinfo needed?

[Andrew J. Schorr]

Hi,

On Tue, Oct 25, 2016 at 07:39:26PM -0700, jungle Boogie wrote:
> Was some dependency recently added to build gawk?
> 
> rm -rf $backupdir; exit $rc
> /home/pi/bin/gawk/missing: line 81: makeinfo: command not found
> WARNING: 'makeinfo' is missing on your system.
>          You should only need it if you modified a '.texi' file, or
>          any other file indirectly affecting the aspect of the manual.
>          You might want to install the Texinfo package:
>          <http://www.gnu.org/software/texinfo/>
>          The spurious makeinfo call might also be the consequence of
>          using a buggy 'make' (AIX, DU, IRIX), in which case you might
>          want to install GNU make:
>          <http://www.gnu.org/software/make/>
> Makefile:429: recipe for target 'gawk.info' failed
> make[2]: *** [gawk.info] Error 127
> make[2]: Leaving directory '/home/pi/bin/gawk/doc'
> Makefile:747: recipe for target 'all-recursive' failed
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory '/home/pi/bin/gawk'
> Makefile:566: recipe for target 'all' failed
> make: *** [all] Error 2

Are you building from the master branch? According to git log:

commit 8ad38bf4d70682433e3f53fe0637929f28d64e3e
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Oct 25 23:13:52 2016 +0300

    Ignore doc/*.info in .gitignore.

If that's true, then he blew away doc/gawk.info, which explains
your problem, I think. He inadvertently removed doc/gawk.info
and doc/gawkinet.info. I don't know why...

Regards,
Andy