# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 944819687 0
# Node ID 30686fc6c31e82d1a67e81fb98acfc1631274625
# Parent  535af4b150592d33669547f481b2c803d9f8bdbb
POP server may be specified in nnmail-spool-file.

diff -r 535af4b15059 -r 30686fc6c31e man/gnus.texi
--- a/man/gnus.texi	Fri Dec 10 09:53:01 1999 +0000
+++ b/man/gnus.texi	Fri Dec 10 09:54:47 1999 +0000
@@ -9208,7 +9208,9 @@
 devil!  You can also set this variable to @code{pop}, and Gnus will try
 to figure out the POP mail string by itself.  In any case, Gnus will
 call @code{movemail} which will contact the POP server named in the
-@code{MAILHOST} environment variable.  If the POP server needs a
+@code{MAILHOST} environment variable.  You may also specify the POP
+server host name in @code{nnmail-spool-file} using the syntax
+@samp{po:larsi:@var{pop-server-host-name}}.  If the POP server needs a
 password, you can either set @code{nnmail-pop-password-required} to
 @code{t} and be prompted for the password, or set
 @code{nnmail-pop-password} to the password itself.