[bug-gawk] makeinfo needed?

[jungle Boogie]

Hi All,

Not using any funky non-GNU system to report this problem for you. I'm
using a raspberry pi with raspbian to build gawk, which happened fine
last week.


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


Thanks
-- 
-------
inum: 883510009027723
sip: address@hidden