--- rpl/rplcas/Makefile.in	2012/12/13 21:23:25	1.35
+++ rpl/rplcas/Makefile.in	2012/12/13 21:58:17	1.36
@@ -137,7 +137,8 @@ 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 check intl po debianold debian/g' Makefile | \
+					sed 's/DIST_SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' \
 					> Makefile2); \
 		else \
 			(cd @GIAC@ && \