--- rpl/rplcas/Makefile.in	2019/01/04 14:37:49	1.50
+++ rpl/rplcas/Makefile.in	2019/01/07 06:02:59	1.51
@@ -101,14 +101,8 @@ lib/ntl.a:
 
 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 #	MakeUnifiedHeader.sh (interpreter)
-	sed '1,1s/^#!\/bin\/bash/#!@BASH@/g' @COCOA@/include/CoCoA/MakeUnifiedHeader.sh > @COCOA@/include/CoCoA/MakeUnifiedHeader.sh2
-	mv -f @COCOA@/include/CoCoA/MakeUnifiedHeader.sh2 @COCOA@/include/CoCoA/MakeUnifiedHeader.sh
-	chmod 755 @COCOA@/include/CoCoA/MakeUnifiedHeader.sh
-	sed '1,1s/^#!\/bin\/bash/#!@BASH@/g' @COCOA@/configure > @COCOA@/configure2
-	mv -f @COCOA@/configure2 @COCOA@/configure
-	chmod 755 @COCOA@/configure
-	for i in @COCOA@/configuration/* @COCOA@/src/AlgebraicCore/CheckSourceFiles.sh; \
-	do \
+	for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \;); \
+	do
 		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \
 		mv -f $$i.2 $$i; \
 		chmod 755 $$i; \
@@ -126,10 +120,6 @@ lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
 		fi; \
 	fi
-	sed 's/^SHELL=\/bin\/bash/SHELL=@BASH@/g' \
-			@COCOA@/configuration/autoconf.mk \
-			> @COCOA@/configuration/autoconf.mk2
-	mv -f @COCOA@/configuration/autoconf.mk2 @COCOA@/configuration/autoconf.mk
 	$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library
 	cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
 	cp -R @COCOA@/include/CoCoA include