diff options
| author | Luis Machado <luis.machado@linaro.org> | 2021-03-26 09:37:56 -0300 |
|---|---|---|
| committer | Luis Machado <luis.machado@linaro.org> | 2021-03-29 11:57:15 -0300 |
| commit | fa167b002fd7c02adf63bf7b5dbf60ca625ec9b5 (patch) | |
| tree | bb3a0191adce56973b1a2a6a5df2d8324cbc7da8 /gdb/doc/gdb.texinfo | |
| parent | aa33ea68330ae5f34013a47b8b7b019a0d1e38e7 (diff) | |
| download | gdb-fa167b002fd7c02adf63bf7b5dbf60ca625ec9b5.zip gdb-fa167b002fd7c02adf63bf7b5dbf60ca625ec9b5.tar.gz gdb-fa167b002fd7c02adf63bf7b5dbf60ca625ec9b5.tar.bz2 | |
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.
Diffstat (limited to 'gdb/doc/gdb.texinfo')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index dbf878c..7dbffb6 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -10118,6 +10118,7 @@ being passed the type of @var{arg} as the argument. * Arrays:: Artificial arrays * Output Formats:: Output formats * Memory:: Examining memory +* Memory Tagging:: Memory Tagging * Auto Display:: Automatic display * Print Settings:: Print settings * Pretty Printing:: Python pretty printing @@ -10886,7 +10887,7 @@ target supports computing the CRC checksum of a block of memory @end table @node Memory Tagging -@subsection Memory Tagging +@section Memory Tagging Memory tagging is a memory protection technology that uses a pair of tags to validate memory accesses through pointers. The tags are integer values |