POP server may be specified as part of the mailbox name.

diff --git a/man/rmail.texi b/man/rmail.texi
index c64623a53ca81804d7049e7b76f7fe7c3c46ff76..1c7d913b3d9d1fa55e59bdd7dc2cb2eb1d4e6d65 100644 (file)
--- a/man/rmail.texi
+++ b/man/rmail.texi
@@ -1124,7 +1124,9 @@ appropriately, you can specify a POP inbox by using a ``file name'' of
 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