# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 974330164 0
# Node ID 38707ddf75f7cf2f268bc967007df74d387a5e15
# Parent  f4da0c6d433641968de615d1ef3a342a14e22462
POP tweak.

diff -r f4da0c6d4336 -r 38707ddf75f7 man/gnus.texi
--- a/man/gnus.texi	Wed Nov 15 23:08:13 2000 +0000
+++ b/man/gnus.texi	Wed Nov 15 23:16:04 2000 +0000
@@ -11173,10 +11173,11 @@
 @code{MAILHOST} environment variable.
 
 @item :port
-The port number of the POP server.  This can be a number (eg,
-@samp{:port 1234}) or a string (eg, @samp{:port "pop3"}).  If it is a
+The port number of the POP server.  This can be a number (e.g.@:
+@samp{:port 110}) or a string (e.g.@: @samp{:port "pop3"}).  If it is a
 string, it should be a service name as listed in @file{/etc/services} on
-Unix systems.  The default is @samp{"pop3"}.
+Unix systems.  The default is @samp{"pop3"}.  On some systems you might
+need to specify it as @samp{"pop-3"} instead.
 
 @item :user
 The user name to give to the POP server.  The default is the login