@@ -1,8 +1,8 @@
 # -*- autoconf -*-
-# FILE: "/diska/home/joze/src/tclreadline/configure.in"
-# LAST MODIFICATION: "Fri Aug 20 15:52:19 1999 (joze)"
+# FILE: "/home/joze/src/tclreadline/configure.in"
+# LAST MODIFICATION: "Fri Aug 20 23:57:02 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl
@@ -110,10 +110,11 @@
 
 # -----------------------------------------------------------------------
 #   Set up a new default --prefix.
 # -----------------------------------------------------------------------
 
+# this is the default anyway:
 # AC_PREFIX_DEFAULT(/usr/local)
 
 if test "${prefix}" = "NONE"; then
     prefix=$TCL_PREFIX
 fi
@@ -121,11 +122,11 @@
     exec_prefix=$TCL_EXEC_PREFIX
 else
     TCLREADLINE_PACKAGE_PATH=${exec_prefix}/lib
 fi
 
-TCLREADLINE_LIBRARY=$TCLREADLINE_PACKAGE_PATH/tclreadline$TCLREADLINE_VERSION
+TCLREADLINE_LIBRARY=${exec_prefix}/lib/tclreadline$TCLREADLINE_VERSION
 
 
 # -----------------------------------------------------------------------
 #   Check for some programs here.
 # -----------------------------------------------------------------------