Index: Makefile.in
===================================================================
diff -u -r86365e5787dbb8063d5a809f3546a8f73506d08c -rbbb3b8350056fa3cac96cafb5b6a3d1708c3ca57
--- Makefile.in	(.../Makefile.in)	(revision 86365e5787dbb8063d5a809f3546a8f73506d08c)
+++ Makefile.in	(.../Makefile.in)	(revision bbb3b8350056fa3cac96cafb5b6a3d1708c3ca57)
@@ -793,8 +793,8 @@
 	$(src_generic_dir)/predefined_part1.tcl \
 	$(src_generic_dir)/predefined_part2.tcl
 	(cd $(src_generic_dir); \
-		$(TCLSH) mk_predefined.\
-			tcl predefined_part1.tcl \
+		$(TCLSH) mk_predefined.tcl \
+			predefined_part1.tcl \
 			predefined_part2.tcl \
 		> predefined.h)