--- rpl/rplcas/Makefile.in	2013/03/05 22:33:56	1.39
+++ rpl/rplcas/Makefile.in	2014/05/19 15:02:18	1.40
@@ -155,6 +155,9 @@ 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; \