--- rpl/rplcas/Makefile.in	2019/01/07 06:17:11	1.53
+++ rpl/rplcas/Makefile.in	2019/01/08 10:06:43	1.54
@@ -100,17 +100,17 @@ lib/ntl.a:
 	cp -R @NTL@/include/NTL include
 
 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
-for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \; | cut -d: -f1); \
+	for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \; | cut -d: -f1); \
 	do \
 		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \
 		mv -f $$i.2 $$i; \
 		chmod 755 $$i; \
-	done;
+	done
 	sed 's/^SHELL=\/bin\/bash/SHELL=@BASH@/g' \
-		@COCOE@/configuration/autoconf.mk \
+		@COCOA@/configuration/autoconf.mk \
 		> @COCOA@/configuration/autoconf.mk2
-	mv -f @COCOE@/configuration/autoconf.mk2 \
-		> @COCOA@/configuration/autoconf.mk
+	mv -f @COCOA@/configuration/autoconf.mk2 \
+		@COCOA@/configuration/autoconf.mk
 	chmod 755 @COCOA@/configuration/autoconf.mk
 	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
 		if [ @BUILD@ = @HOST@ ]; then \