# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 841082310 0
# Node ID 6a126c5c87bb58ee0601abfab42be9ef2689d110
# Parent  feedd0d97fd08507a894d0827d02ecb1a38f6dc5
Describe --with-pop and related options.

diff -r feedd0d97fd0 -r 6a126c5c87bb INSTALL
--- a/INSTALL	Mon Aug 26 16:43:05 1996 +0000
+++ b/INSTALL	Mon Aug 26 17:58:30 1996 +0000
@@ -70,6 +70,14 @@
 `--with-gcc=no'.  If you omit this option, `configure' will search
 for GCC in your path, and use it if present.
 
+If you want the Emacs mail reader RMAIL to read mail from a POP
+server, you must specify `--with-pop'.  This provides support for the
+POP3 protocol; older versions are not supported.  For
+Kerberos-authenticated POP add `--with-kerberos', for Hesiod support
+add `--with-hesiod'.  These options enable Emacs to use POP; whether
+Emacs uses POP is controlled by individual users--see the Rmail
+chapter of the Emacs manual.
+
 You can build Emacs for several different machine types from a single
 source directory.  To do this, you must use a version of `make' that
 supports the `VPATH' variable, such as GNU `make'.  Make separate