[PATCH] gdb/doc/gdb.texinfo (@menu): fix a typo: s/dump/to dump/

[Jim Meyering]

---
 gdb/doc/gdb.texinfo |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 6aad520..d917523 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -6087,7 +6087,7 @@ Table}.
 * OS Information::              Auxiliary data provided by operating system
 * Memory Region Attributes::    Memory region attributes
 * Dump/Restore Files::          Copy between memory and a file
-* Core File Generation::        Cause a program dump its core
+* Core File Generation::        Cause a program to dump its core
 * Character Sets::              Debugging programs that use a different
                                 character set than GDB does
 * Caching Remote Data::         Data caching for remote targets
--
1.6.2.rc0.186.g417c