--- rpl/rplcas/Makefile.in	2014/05/19 15:02:18	1.40
+++ rpl/rplcas/Makefile.in	2015/06/08 07:15:31	1.42
@@ -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; \
@@ -203,7 +200,7 @@ lib/librplcas.a: lib/@LIB_PREFIX@giac.a
 				done; \
 				if test -n "$$L"; then \
 					echo -n "Adding files to librplcas.a archive... "; \
-					ar cru ../lib/librplcas.a $$L; \
+					ar cr ../lib/librplcas.a $$L; \
 					rm -f $$L; \
 					echo "done"; \
 				fi; \