diff options
author | Andrew Burgess <andrew.burgess@embecosm.com> | 2015-08-18 17:09:41 +0100 |
---|---|---|
committer | Andrew Burgess <andrew.burgess@embecosm.com> | 2015-08-18 17:09:41 +0100 |
commit | 2b4bf6afd4506165007c0e76bc7c4381031cfaf6 (patch) | |
tree | 0d8a12f659477fdd39fea98744b7734ff7a2de3b /gdb/doc/gdb.texinfo | |
parent | 44b4145b723b43b175d4378c77bd79faaaa80312 (diff) | |
download | gdb-2b4bf6afd4506165007c0e76bc7c4381031cfaf6.zip gdb-2b4bf6afd4506165007c0e76bc7c4381031cfaf6.tar.gz gdb-2b4bf6afd4506165007c0e76bc7c4381031cfaf6.tar.bz2 |
gdb/doc: Fix build of 'info' manual.
In commit 18989b3c5642e2ba533e02737797dcf06134229b I broke the creation
of gdb's info manual; I added a new section without adding a suitable
menu entry.
This commit adds the missing menu entry and fixes the build of gdb's
info manual.
gdb/doc/ChangeLog:
* gdb.texinfo (GDB Files): Add 'File Caching' menu entry.
Diffstat (limited to 'gdb/doc/gdb.texinfo')
-rw-r--r-- | gdb/doc/gdb.texinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 9322a52..b550765 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -17693,6 +17693,7 @@ program. To debug a core dump of a previous run, you must also tell @menu * Files:: Commands to specify files +* File Caching:: Information about @value{GDBN}'s file caching * Separate Debug Files:: Debugging information in separate files * MiniDebugInfo:: Debugging information in a special section * Index Files:: Index files speed up GDB |