ross 2002/09/10 15:40:03 PDT Modified files: src/unix configure.in configure Makefile Log: Remove --with-readline: now that readline is safe, just use it if it's available (like GHCi). Revision Changes Path 1.36 +15 -21 hugs98/src/unix/configure.in 1.32 +514 -512 hugs98/src/unix/configure 1.4 +0 -1 hugs98/src/unix/Makefile