https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120544
--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jan Beulich <jbeul...@gcc.gnu.org>: https://gcc.gnu.org/g:e1a2af290155e0e6ad73aadf178c1a1860223be4 commit r16-1556-ge1a2af290155e0e6ad73aadf178c1a1860223be4 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{}.