gdb/doc: move @menu to the end of the node
authorAndrew Burgess <andrew.burgess@embecosm.com>
Fri, 22 Jan 2021 09:28:07 +0000 (09:28 +0000)
committerAndrew Burgess <andrew.burgess@embecosm.com>
Fri, 22 Jan 2021 09:28:07 +0000 (09:28 +0000)
commitfe461d2f70ed618c39b887579d07f49f603c1de5
tree234a3c36dc483326e1689e9c2410ccb77026fe43
parentcc4bc93e5255a58cffa4824849df0b237d2cd4cb
gdb/doc: move @menu to the end of the node

Commit:

  commit a72d0f3d69896b5fcdc916e0547fe774dcb58614
  Date:   Tue Jan 12 13:02:30 2021 +0000

      gdb/doc: reorder and group sections relating to aliases

Added a @menu block into the wrong place within a @node.  This commit
moves it to the end of the @node, where it should be been placed.

gdb/doc/ChangeLog:

* gdb.texinfo (Aliases): Move @menu to the end of the node.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
This page took 0.029848 seconds and 4 git commands to generate.