[PATCH/DOC] Prec: add doc for record save and record record restore

[Hui Zhu <teawater at gmail dot com>]

Hi,

I found that there is not doc for record save and record record
restore.  Add this patch for this 2 commands.

Thanks,
Hui

2010-06-18  Hui Zhu  <teawater@gmail.com>

	* gdb.texinfo: (Process Record and Replay): Add documentation
	for commands "record save" and "record restore".


---
 doc/gdb.texinfo |   10 ++++++++++
 1 file changed, 10 insertions(+)

--- a/doc/gdb.texinfo
+++ b/doc/gdb.texinfo
@@ -5639,6 +5639,16 @@ usual ``live'' debugging of the process
 When the inferior process exits, or @value{GDBN} detaches from it,
 process record and replay target will automatically stop itself.

+@kindex record save
+@item record save @var{filename}
+Save the execution log to a file @file{@var{filename}}.
+Default filename is 'gdb_record.<process_id>'.
+
+@kindex record restore
+@item record restore @var{filename}
+Restore the execution log from a file @file{@var{filename}}.
+File must be created with @code{record save}.
+
 @kindex set record insn-number-max
 @item set record insn-number-max @var{limit}
 Set the limit of instructions to be recorded.  Default value is 200000.