From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eli Zaretskii <eliz@is.elta.co.il>
To: gdb-patches <gdb-patches@sources.redhat.com>
Subject: Re: [PATCH]: ser-tcp.c: Use `localhost' as default hostname
Date: Thu, 02 Aug 2001 03:09:00 -0000
Message-id: <Pine.SUN.3.91.1010802130720.58B-100000@is>
References: <20010802110954.E21481@cygbert.vinschen.de>
X-SW-Source: 2001-08/msg00030.html

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).