diff options
| author | Dave Love <[email protected]> | 2000-11-15 23:16:04 +0000 |
|---|---|---|
| committer | Dave Love <[email protected]> | 2000-11-15 23:16:04 +0000 |
| commit | 021bc64b33411c5ea6233a19a51dfdf95614fdd6 (patch) | |
| tree | d7015dcec9feaee8808483cd8328716021c55bf5 /man | |
| parent | a159375dd2126c3b2636c77e10e3d6f91f72bc4d (diff) | |
POP tweak.
Diffstat (limited to 'man')
| -rw-r--r-- | man/gnus.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/man/gnus.texi b/man/gnus.texi index 6c078a8650..71f609cdd6 100644 --- a/man/gnus.texi +++ b/man/gnus.texi @@ -11173,10 +11173,11 @@ The name of the POP server. The default is taken from the @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 |