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.

Andreas.

-- 
Andreas Schwab, [email protected]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."


Reply via email to