* doc/extend.texi: Use @pxref instead of @xref.
authorMarek Polacek <polacek@redhat.com>
Fri, 22 May 2015 09:27:35 +0000 (09:27 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Fri, 22 May 2015 09:27:35 +0000 (09:27 +0000)
commitb7f016cb2285820e277eaeab3ae6193f4d95b15b
treeef1d4bee09c0172511fb38813edebdae990bffde
parent9dbe0d83c865375f99e776e82087e653b2214380
* doc/extend.texi: Use @pxref instead of @xref.

From-SVN: r223530
gcc/ChangeLog
gcc/doc/extend.texi