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

[Joseph S. Myers]

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

-- 
Joseph S. Myers
joseph@codesourcery.com