gdb/doc: Fix build of 'info' manual.
authorAndrew Burgess <andrew.burgess@embecosm.com>
Tue, 18 Aug 2015 16:09:41 +0000 (17:09 +0100)
committerAndrew Burgess <andrew.burgess@embecosm.com>
Tue, 18 Aug 2015 16:09:41 +0000 (17:09 +0100)
commit2b4bf6afd4506165007c0e76bc7c4381031cfaf6
tree0d8a12f659477fdd39fea98744b7734ff7a2de3b
parent44b4145b723b43b175d4378c77bd79faaaa80312
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.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo