Use the three-argument form of @xref to get the references right.
authorJim Blandy <jimb@codesourcery.com>
Mon, 10 Apr 2000 15:50:02 +0000 (15:50 +0000)
committerJim Blandy <jimb@codesourcery.com>
Mon, 10 Apr 2000 15:50:02 +0000 (15:50 +0000)
commit4281a42ed474d3d080ba35c0864a0380f10f8dd3
tree1770559c58beac178215b81e10493f89ac127cf0
parent5d0d395e944fab4b09a61baad2ef04c525767fcc
Use the three-argument form of @xref to get the references right.
gdb/doc/gdbint.texinfo