@@ -1,8 +1,8 @@
 # -*- autoconf -*-
-# FILE: "/home/joze/src/tclreadline/configure.in"
-# LAST MODIFICATION: "Mon Sep 20 00:55:51 1999 (joze)"
+# FILE: "/disk01/home/joze/src/tclreadline/configure.in"
+# LAST MODIFICATION: "Mon Sep 20 01:20:59 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl