--- rpl/rplcas/Makefile.in	2012/12/14 12:30:35	1.37
+++ rpl/rplcas/Makefile.in	2015/06/08 07:15:31	1.42
@@ -5,7 +5,7 @@ CXXFLAGS=@CXXFLAGS@
 LDFLAGS=@LDFLAGS@
 OBJEXT=@OBJEXT@
 
-.PHONY: configure clean
+.PHONY: configure clean distclean
 
 all: lib/librplcas.a
 
@@ -159,6 +159,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 	if [ x$(srcdir) != x. ]; then \
 		for i in mkinstalldirs xcas.xpm xcas.desktop xcas.applications; \
 				do cp $(srcdir)/@GIAC@/$$i @GIAC@/$$i; done; \
+		cp -R $(srcdir)/@GIAC@/icons @GIAC@; \
 	fi
 	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS) install
 
@@ -199,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; \