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

[Hui Zhu]

On Fri, Jun 18, 2010 at 16:04, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Hui Zhu <teawater@gmail.com>
>> Date: Fri, 18 Jun 2010 15:48:54 +0800
>> Cc: gdb-patches@sourceware.org
>>
>> >  Default filename is @file{gdb_record.@var{process_id}}, where
>> >  @var{process_id} is the process ID of the @value{GDBN} process.
>>
>> The process_id is the id of inferior.  Do you think I can change it to:
>> @var{process_id} is the process ID of the inferior.
>
> Yes.
>

Checked in.

Thanks,
Hui