Fix memory tagging section type
authorLuis Machado <luis.machado@linaro.org>
Fri, 26 Mar 2021 12:37:56 +0000 (09:37 -0300)
committerLuis Machado <luis.machado@linaro.org>
Mon, 29 Mar 2021 14:57:15 +0000 (11:57 -0300)
commitfa167b002fd7c02adf63bf7b5dbf60ca625ec9b5
treebb3a0191adce56973b1a2a6a5df2d8324cbc7da8
parentaa33ea68330ae5f34013a47b8b7b019a0d1e38e7
Fix memory tagging section type

It was reported to me that on Ubuntu 14.04 (fairly old) the documentation
fails to build with the following:

gdb/doc/gdb.texinfo:10888: warning: node `Memory' is up for `Memory Tagging' in sectioning but not in menu
gdb/doc/gdb.texinfo:10693: node `Memory' lacks menu item for `Memory Tagging' despite being its Up target
Makefile:491: recipe for target 'gdb.info' failed
make[3]: *** [gdb.info] Error 1

This doesn't seem to happen on Ubuntu 18.04/20.04, but it does make sense.

Fix this by turning @subsection into a @section and adding the
"Memory Tagging" entry to the menu.

gdb/doc/ChangeLog:

2021-03-29  Luis Machado  <luis.machado@linaro.org>

* gdb.textinfo (Memory Tagging): Make it a @section.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo