https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120544
--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Jan Beulich <jbeul...@gcc.gnu.org>: https://gcc.gnu.org/g:bd020583b649158b2939350be03ff31af797ba9a commit r15-9843-gbd020583b649158b2939350be03ff31af797ba9a Author: Jan Beulich <jbeul...@suse.com> Date: Wed Jun 18 13:43:23 2025 +0200 doc: allow extend.texi to be processed by makeinfo 4.13 PR middle-end/120544 As per documentation, even 4.7 ought to suffice. At least 4.13 objects to there being nothing ahead of the first comma in @xref{}. gcc/ * doc/extend.texi: Fill first argument of @xref{}.