@@ -1,8 +1,8 @@
 # -*- make -*-
 # FILE: "/diska/home/joze/src/tclreadline/Makefile.in"
-# LAST MODIFICATION: "Wed Sep  8 18:22:32 1999 (joze)"
+# LAST MODIFICATION: "Wed Sep  8 20:52:40 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl
@@ -219,13 +219,14 @@
 	for f in \
             tclreadlineInit.tcl \
             tclreadlineSetup.tcl \
             tclreadlineCompleter.tcl \
             pkgIndex.tcl \
-            tclreadlineConfig.sh; do \
+            tclreadlineConfig.sh\
+        ; do \
             $(INSTALL_DATA) $f $(LIBRARY_INSTALL_DIR) \
-        done
+        ; done
 
 FORCE:
 
 $(MANN_INSTALL_DIR)/$(MAN): FORCE
 	- $(INSTALL_DATA) $(srcdir)/$(MAN) $@ &&  chmod 644 $@