* doc/extend.texi: Use @pxref instead of @xref.
commit09c66167e64df8a3cc7a85151dc9e2198a6fb95e
authormpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 May 2015 09:27:35 +0000 (22 09:27 +0000)
committermpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 May 2015 09:27:35 +0000 (22 09:27 +0000)
treeef1d4bee09c0172511fb38813edebdae990bffde
parentbb8824642bba42a214e0db03be515704701452da
* doc/extend.texi: Use @pxref instead of @xref.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223530 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/extend.texi