# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 944819721 0
# Node ID 74dd5bed2ed22ed0512ec1abbf8f914f651af325
# Parent  30686fc6c31e82d1a67e81fb98acfc1631274625
POP server may be specified as part of the mailbox name.

diff -r 30686fc6c31e -r 74dd5bed2ed2 man/rmail.texi
--- a/man/rmail.texi	Fri Dec 10 09:54:47 1999 +0000
+++ b/man/rmail.texi	Fri Dec 10 09:55:21 1999 +0000
@@ -1124,7 +1124,9 @@
 the form @samp{po:@var{username}}, in the inbox list of an Rmail file.
 @code{movemail} handles such a name by opening a connection to the POP
 server.  The @code{MAILHOST} environment variable specifies the machine
-to look for the server on.
+to look for the server on; alternatively, you can specify the POP server
+host name as part of the mailbox name using the syntax
+@samp{po:@var{username}:@var{hostname}}.
 
 @vindex rmail-pop-password
 @vindex rmail-pop-password-required