Re: [PATCH] Add CTF support to GDB [4/4] doc

[Eli Zaretskii <eliz at gnu dot org>]

> Date: Fri, 23 Nov 2012 10:27:36 +0800
> From: Hui Zhu <hui_zhu@mentor.com>
> CC: <gdb-patches@sourceware.org>
> 
> Following part is for NEWS:
> * GDB now has the ability to read and write trace buffer in common trace
>    format (CTF).  To create a CTF trace file, use "tsave -ctf <filename>",
>    and to use it, do "target ctf <name>".
                    ^^
"use"

> +By default, this command will save trace frame into tfile format.
> +You can supply the optional argument @code{-ctf} to save date in CTF
> +format.  The Common Trace Format (CTF) is proposed as a trace format

Use @dfn when you first introduce new terminology:

  The @dfn{Common Trace Format} (CTF) is proposed as a trace format ...

> +that suits the needs of the embedded, telecom, high-performance
> +and kernel communities.  Please goto @url{http://www.efficios.com/ctf}
> +get more information about it.       ^^^^

You want @indicateurl, not @url here.

OK with these changes.