@@ -1,8 +1,8 @@
 # -*- make -*-
-# FILE: "/diska/home/joze/src/tclreadline/Makefile.in"
-# LAST MODIFICATION: "Wed Aug 25 16:41:11 1999 (joze)"
+# FILE: "/krispc6/diska/home/joze/src/tclreadline/Makefile.in"
+# LAST MODIFICATION: "Wed Aug 25 17:03:17 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl