* gdb.texinfo (GDB/MI Output Records): Update menu.
authorTom Tromey <tromey@redhat.com>
Wed, 2 Jan 2013 15:00:34 +0000 (15:00 +0000)
committerTom Tromey <tromey@redhat.com>
Wed, 2 Jan 2013 15:00:34 +0000 (15:00 +0000)
commit54516a0bdf8648550b0b2ff1b7fab0c8cce47d82
tree27f371e197600e37b71dcb8e15b0f12c430943df
parent4f05add48d231b7945916ec0fa0fe0f640e58b5c
* gdb.texinfo (GDB/MI Output Records): Update menu.
(GDB/MI Breakpoint Information): New node.
(GDB/MI Breakpoint Commands) <-break-info>: Link to new node.
<-break-insert>: Likewise.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo