gdb/doc: move @menu blocks to the end of their enclosing @node
authorAndrew Burgess <andrew.burgess@embecosm.com>
Fri, 22 Jan 2021 18:55:11 +0000 (18:55 +0000)
committerAndrew Burgess <andrew.burgess@embecosm.com>
Mon, 25 Jan 2021 11:24:29 +0000 (11:24 +0000)
commit04de9f3e3109c4029fc015191a2e1720cab8dac9
treeb8895921eba49f84df6677ffa2b14537a15d01a5
parentb8df69003de5c662fab94d10af3ad335909fa5bf
gdb/doc: move @menu blocks to the end of their enclosing @node

The @menus should be at the end of a @node.  We mostly get this right,
but there's a few places where we don't.  This commit fixes the 5
places we get this wrong.

I manually checked the info page and read each of the offending nodes
after this change and I believe they all still make sense with the
menu moved.

gdb/doc/ChangeLog:

* gdb.texinfo (Specify Location): Move menu to the end of the
node.
(Auto-loading): Likewise.
(Extending GDB): Likewise.
(TUI): Likewise.
(Operating System Information): Likewise.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo