* gdb.texinfo (Dump/Restore Files): Update documentation for
authorJim Blandy <jimb@codesourcery.com>
Thu, 8 May 2003 21:33:49 +0000 (21:33 +0000)
committerJim Blandy <jimb@codesourcery.com>
Thu, 8 May 2003 21:33:49 +0000 (21:33 +0000)
commitdf5215a60c30bf8c931afd2328081d5ec20d21bc
tree3b4bcd115bcb7bfa9173ffb4dfda1d6d7a9cdfdf
parentd9d9c31f313042e074b7c77bf6bd1d808202e6fb
* gdb.texinfo (Dump/Restore Files): Update documentation for
'dump', 'append', and 'restore': note that format argument is
optional; simplify presentation of the command variants; and be
more precise about the formats.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo