Use www.gnu.org as example hostname in manual (bug 10014)

[Allan McRae]

On 07/09/12 09:29, Joseph S. Myers wrote:
> Bug 10014 requests a change to an example hostname in the manual.
> www.gnu.org was suggested as a suitable alternative in discussion in
> that bug; this patch uses that name.  Tested with "make info html
> pdf".
> 
> 2012-09-06  Joseph Myers  <joseph@codesourcery.com>
> 
> 	[BZ #10014]
> 	* manual/socket.texi (Host Addresses): Use www.gnu.org as example
> 	host name.
> 
> diff --git a/manual/socket.texi b/manual/socket.texi
> index a08ac4c..b12c591 100644
> --- a/manual/socket.texi
> +++ b/manual/socket.texi
> @@ -809,7 +809,7 @@ numeric host addresses as sequences of up to eight numbers separated by
>  colons, as in @samp{5f03:1200:836f:c100::1}.
>  
>  Each computer also has one or more @dfn{host names}, which are strings
> -of words separated by periods, as in @samp{mescaline.gnu.org}.
> +of words separated by periods, as in @samp{www.gnu.org}.
>  
>  Programs that let the user specify a host typically accept both numeric
>  addresses and host names.  To open a connection a program needs a
> 

Note the mescaline.gnu.org was also used in manual/examples/inetcli.c,
so you probably want to change that too.

Allan