https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87933
--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> --- The first @settitle wins. $ grep @settitle gcc/doc/install.texi @settitle Installing GCC @settitle Installing GCC @settitle Host/Target specific installation notes for GCC @settitle Prerequisites for GCC @settitle Downloading GCC @settitle Installing GCC: Configuration @settitle Installing GCC: Building @settitle Installing GCC: Testing @settitle Installing GCC: Final installation @settitle Installing GCC: Binaries @settitle Installing GCC: Old documentation @settitle Installing GCC: GNU Free Documentation License