[m-rev.] for review: mention editline in INSTALL file

[Julien Fischer]

For review by anyone.

---------------------

Mention editline in INSTALL file.

.INSTALL.in:
    As above.

Julien.

diff --git a/.INSTALL.in b/.INSTALL.in
index 26195ac..8a2c1f2 100755
--- a/.INSTALL.in
+++ b/.INSTALL.in
@@ -4,14 +4,16 @@
  #
  # You need GNU C (version 3.4.x or later -- note however that version 4.0 will
  # not work) and GNU Make (3.69 or later). 
-# Make sure that they are somewhere in your PATH.  It's also helpful if you
-# have GNU Readline installed in one of the standard locations (normally
-# /usr/local or /usr), but this is not essential.
+# Make sure that they are somewhere in your PATH.  It is also helpful if you
+# have GNU Readline or NetBSD Editline installed in one of the standard
+# locations (normally /usr/local or /usr), but this is not essential.
  #
  # The source distributions for GNU C, GNU Make, and GNU Readline are
-# available from <ftp://ftp.gnu.org/gnu/>.  Binaries for these are
-# included in almost all Linux distributions, Mac OS X and also in the Cygwin
-# and MinGW distributions for Windows (see README.MS-Windows).
+# available from <ftp://ftp.gnu.org/gnu/>.  The source distribution for
+# NetBSD Editline is available from <https://thrysoee.dk/editline/>.
+# Binaries for the above are included in almost all Linux distributions,
+# Mac OS X and also in the Cygwin and MinGW distributions for Windows (see
+# README.MS-Windows).
  #
  # Step 0.  Extract the files from the gzipped tar archive.
  #
@@ -193,6 +195,11 @@ make install
  #          system would be able to support it. The default is to enable the
  #          deep profiler if the system has the required features.
  #
+#          The --without-readline and --without-editline options prevent the
+#          use of GNU Readline and NetBSD Editline with the debugger.
+#          Note that GNU Readline will be used by preference to Editline if
+#          the former is present and if --without-readline is not given.
+#
  #          If you are short on RAM, you can add -DSMALL_CONFIG to the CFLAGS
  #          line in the file boehm_gc/Makefile.  (This tells the garbage
  #          collector to tune itself for small physical memory.)