Minor "catch" documentation improvements
authorTom Tromey <tromey@adacore.com>
Fri, 10 May 2019 12:59:19 +0000 (06:59 -0600)
committerTom Tromey <tromey@adacore.com>
Fri, 10 May 2019 14:34:01 +0000 (08:34 -0600)
commitb8e07335d04f8c8e611a65905598915f68b0b707
tree31aa5099993a2ca62e020e8256ca67b88d58d128
parent391bf8918b16f9f3ad1060d5cb0fc0c4048421bb
Minor "catch" documentation improvements

This patch makes a few minor improvements to the catchpoint
documentation:

* "catch exception" and "catch handlers" now mention the argument in
  the @item.

* "catch exception unhandled" is moved to be closer to "catch
  exception", rather than after "catch handlers".

* "catch load" and "catch unload" now wrap the argument in @var.

gdb/doc/ChangeLog
2019-05-10  Tom Tromey  <tromey@adacore.com>

* gdb.texinfo (Set Catchpoints): Add text for parameter to "catch
exception" and "catch handlers".  Move "catch exception unhandled"
text.  Use @var for "catch load" and "catch unload"
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo