Andreas Schwab wrote:
> Jim Meyering <[email protected]> writes:
>
>> @@ -4910,7 +4910,7 @@ ptx invocation
>> limitations and changing several of the program's default option values.
>> When @option{-G} is not specified, @sc{gnu} extensions are always enabled.
>> @sc{gnu} extensions to @command{ptx} are documented wherever
>> appropriate in this
>> -document. For the full list, see @xref{Compatibility in ptx}.
>> +document. @xref{Compatibility in ptx} for the full list.
>
> @xref must be followed by a period or comma.
Thanks. makeinfo even warns about that one:
make[2]: Entering directory `/h/j/w/co/cu/doc'
MAKEINFO coreutils.info
coreutils.texi:4913: warning: `.' or `,' must follow @xref, not `f'.
coreutils.texi:5051: warning: `.' or `,' must follow @xref, not `f'.
coreutils.texi:16113: warning: `.' or `,' must follow @xref, not `f'.
I've added those three commas.