changeset 33522:38707ddf75f7

POP tweak.
author Dave Love <fx@gnu.org>
date Wed, 15 Nov 2000 23:16:04 +0000
parents f4da0c6d4336
children b7c8067e0332
files man/gnus.texi
diffstat 1 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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