Re: [PATCH]: ser-tcp.c: Use `localhost' as default hostname

[Eli Zaretskii <eliz at is dot elta dot co dot il>]

On Thu, 2 Aug 2001, Corinna Vinschen wrote:

> What about the following patch to the docu:
> 
> 2001-08-02  Corinna Vinschen  <vinschen@redhat.com>
> 
>         * gdb.texinfo: Explain omitting the hostname in the
>         `target remote' command.

Thanks.  This is approved, with the following nitpicking:

> +your debugger session (e.g. a simulator of your target running on

Please use "e.g.@:", to get TeX typeset this correctly (a period before a 
blank is by default taken as ending the sentence).

> +the same host) you can omit the hostname.  For example, to connect
                ^
You need a comma after the right parenthesis.

> +@example
> +target remote :1234
> +@end example
> +
> +Note that the colon is still required here.

Please add @noindent, on a line by itself, before the last line (since 
that line should not be indented, as it continues the example that's 
before it).