Re: [PATCH] gcc/configure: Check for makeinfo 5.0 or newer

perhaps incorrect sectioning?). ../../gcc/doc/gcc.texi:228: Misplaced {. ../../gcc/doc/gcc.texi:228: Misplaced }. ../../gcc/doc/gcc.texi:228: Multiline command @smallexample used improperly. makeinfo: Removing output file `doc/gcc.info' due to errors; use --force to preserve. On 2025-06-08 17:07,

[PATCH] gcc/configure: Check for makeinfo 5.0 or newer

The build fails with older versions. Signed-off-by: Henrik Lindström --- gcc/configure| 2 +- gcc/configure.ac | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/configure b/gcc/configure index 776b0628c60..632fa6cb864 100755 --- a/gcc/configure +++ b/gcc/configure