original submission:

> Build fails if makeinfo is not available:
>
> if /bin/bash /home/buildroot/autobuild/instance-2/output-1/build/host-gengetopt-2.23/build-aux/missing makeinfo --html --no-split  -I . \
>  -o gengetopt.htp `test -f 'gengetopt.texi' || echo './'`gengetopt.texi; \
> then \
>   rm -rf gengetopt.html && mv gengetopt.htp gengetopt.html; \
> else \
>   rm -rf gengetopt.htp; exit 1; \
> fi
> /home/buildroot/autobuild/instance-2/output-1/build/host-gengetopt-2.23/build-aux/missing: line 81: makeinfo: command not found
> /home/buildroot/autobuild/instance-2/output-1/build/host-gengetopt-2.23/build-aux/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:
>          <https://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:
>          <https://www.gnu.org/software/make/>
> Makefile:842: recipe for target 'gengetopt.html' failed
>
> See:
> http://autobuild.buildroot.org/results/635/63554a4168a69a0e68a222bee2269b5aaeee2021/build-end.log
>
> Patch attached adds an option to disable documentation