Re: [RFA] Document GDBserver fast tracepoints support in the manual

[Eli Zaretskii <eliz@gnu.org>]

> From: Pedro Alves <pedro@codesourcery.com>
> Date: Thu, 27 May 2010 13:58:32 +0100
> 
> These are documentation bits originally posted along with this
> larger patch:
> 
>  [GDBserver fast tracepoints support]
>  <http://sourceware.org/ml/gdb-patches/2010-05/msg00149.html>
> 
> A few minor tweaks in the wording since the previous version,
> but largely the same.
> 
> Okay?

Yes, with a few minor comments:

> +@code{gdbserver} supports tracepoints on some target systems.  See
> +@ref{Tracepoints support in gdbserver}.

The last sentence should simply use @xref.

> +support the concept of preloading user defined libraries.  In most
> +cases, you do that by specifying @code{'LD_PRELOAD=libinproctrace.so'}
> +in the environment.

You don't need the '..' quotes inside @code.  If you want to make sure
the quotes will appear in print as well, use @samp.

> +Note that on most Unix systems, for the @code{dlopen} function be
> +available                                                     ^^^
   ^^^^^^^^^

"to be available", "to" is missing.

Thanks.