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.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index b3dbc5955c0dbd3244a42fef621e645329969cf1..c7531927aec44348af7eea04d33273254c54231e 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+2015-08-18  Andrew Burgess  <andrew.burgess@embecosm.com>
+
+       * gdb.texinfo (GDB Files): Add 'File Caching' menu entry.
+
 2015-08-18  Andrew Burgess  <andrew.burgess@embecosm.com>
 
        * gdb.texinfo (File Caching): Document "set/show debug bfd-cache".

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 9322a526d104462a9a5a272480b42f92d02bd193..b550765aac2088b6047d34095de20b93e508e7c5 100644 (file)
--- 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