--- rpl/rplcas/Makefile.in	2012/10/01 09:34:54	1.34
+++ rpl/rplcas/Makefile.in	2012/12/13 21:23:25	1.35
@@ -152,7 +152,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 					--enable-gsl=$(top_builddir)/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/g' Makefile \
 					> Makefile2); \
 		fi; \
 		(cd @GIAC@/src && \