--- rpl/rplcas/Makefile.in	2011/04/21 15:59:43	1.5
+++ rpl/rplcas/Makefile.in	2011/06/01 08:56:34	1.6
@@ -68,7 +68,7 @@ lib/libgiac.a: lib/libgmp.a lib/libmpfr.
 				--enable-gsl=../../tools/@GSL@/.libs/libgsl.a \
 				--disable-shared --enable-static \
 				--disable-gui --without-x && \
-				sed 's/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' Makefile | \
+				sed 's/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' Makefile \
 				> Makefile2); \
 	fi
 	make -C @GIAC@ $(AM_MAKEFLAGS) -f Makefile2