[Patch] Get trace file name when using 'target tfile'

[Eli Zaretskii]

> Date: Wed, 13 Feb 2013 14:38:18 +0000
> From: "Abid, Hafiz" <hafiz_abid@mentor.com>
> CC: <palves@redhat.com>, <marc.khouzam@ericsson.com>
> 
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -32094,6 +32094,10 @@ The value of the disconnected tracing flag.  @code{1} means that
>  tracing will continue after @value{GDBN} disconnects, @code{0} means
>  that the trace run will stop.
>  
> +@item trace-file
> +The filename of the trace file being examined.  This field is
> +optional, and only present when examining a trace file.
> +

This part is OK.  Thanks.