On Okt 04 2022, Tom de Vries via Gcc-patches wrote:
> diff --git a/configure.ac b/configure.ac
> index 0152c69292e..e4a2c076674 100644
> --- a/configure.ac
> +++ b/configure.ac
> @@ -3441,6 +3441,9 @@ case " $build_configdirs " in
> esac
>
> AC_CHECK_PROGS([MAKEINFO], makeinfo, [$MISSING makei
On Tue, Oct 4, 2022 at 11:22 AM Tom de Vries via Gcc-patches
wrote:
>
> Hi,
>
> Currently, we cannot build gdb without makeinfo installed.
>
> It would be convenient to work around this by using the configure flag
> MAKEINFO=/usr/bin/true or some such, but that doesn't work because top-level
> con
