@@ -1,7 +1,7 @@
-FILE: "/home/joze/src/tclreadline/README"
-LAST MODIFICATION: "Sat, 25 Mar 2000 21:47:01 +0100 (joze)"
+FILE: "/disk01/home/joze/src/tclreadline/README"
+LAST MODIFICATION: "Sun, 02 Jul 2000 00:24:48 +0200 (joze)"
 (C) 1998 - 2000 by Johannes Zellner, <johannes@zellner.org>
 $Id$
 ---
 
 tclreadline -- gnu readline for tcl
@@ -46,10 +46,11 @@
         tclreadline uses the gnu readline callback handler, which
         wasn't implemented in early releases.
 
     (c) The usual ./configure; make; make install sequence should do the rest.
 
+####### DISABLED ########
     (d) Optionally (or additionally) you can build the executables
         tclshrl and / or wishrl which are a readline enhanced replacement
         for tclsh and wish. To compile these executable you should type
             make tclshrl
         or
@@ -63,10 +64,11 @@
             make install-wishrl
         or
             make install-shells
         Building these executables is discouraged but necessary
         on systems which don't support shared libs.
+####### DISABLED ########
 
 
 4. Using tclreadline for interactive tcl scripting.
 ---------------------------------------------------