diff options
author | Martin Liska <mliska@suse.cz> | 2023-03-22 08:45:33 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2023-03-22 08:45:33 +0100 |
commit | 5e812e8c1e8d65aee05cc3fbbe5727d4e365df57 (patch) | |
tree | 72b2a5762811bd1d47446128152488adc0fce26b /gcc | |
parent | 573dbd5175dbf16a3b4551ec55800febf0d1b617 (diff) | |
download | gcc-5e812e8c1e8d65aee05cc3fbbe5727d4e365df57.zip gcc-5e812e8c1e8d65aee05cc3fbbe5727d4e365df57.tar.gz gcc-5e812e8c1e8d65aee05cc3fbbe5727d4e365df57.tar.bz2 |
configure: regenerate
gcc/ChangeLog:
* configure: Regenerate.
Diffstat (limited to 'gcc')
-rwxr-xr-x | gcc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index 20d3142..1508657 100755 --- a/gcc/configure +++ b/gcc/configure @@ -8798,7 +8798,7 @@ fi # Determine whether makeinfo supports the CONTENTS_OUTPUT_LOCATION variable. # If it does, we want to pass it to makeinfo in order to restore the old -# behaviour of @{summary,}contents placement. +# behavior of @{summary,}contents placement. MAKEINFO_TOC_INLINE_FLAG= if test x"$MAKEINFO" != x; then : |