--- rpl/rplcas/Makefile.in	2014/05/19 15:02:18	1.40
+++ rpl/rplcas/Makefile.in	2014/05/19 20:48:04	1.41
@@ -155,9 +155,6 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 			sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \
 			sed -e 's/#define HAVE_PNG_H 1//' > config.h && \
 			rm -f config.h.orig); \
-	(cd $(srcdir)/@GIAC@ && \
-			sed -e 's/ doc / /' Makefile > Makefile2 && \
-			\mv -f Makefile2 Makefile); \
 	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS)
 	if [ x$(srcdir) != x. ]; then \
 		for i in mkinstalldirs xcas.xpm xcas.desktop xcas.applications; \