better install messages

src/plugins/e-acsl/Makefile.in

@@ -123,18 +123,19 @@ endif
 ###########
 
 install::
-	$(PRINT_CP) E-ACSL share files
+	$(PRINT_INSTALL) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/*.[ch] $(FRAMAC_SHARE)/e-acsl
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl/memory_model
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/memory_model/* \
 		$(FRAMAC_SHARE)/e-acsl/memory_model
-	$(PRINT_CP) E-ACSL manuals
+	$(PRINT_INSTALL) E-ACSL manuals
 	$(MKDIR) $(FRAMAC_SHARE)/manuals
 	$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
 	      $(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
 	      $(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
 		$(FRAMAC_SHARE)/manuals
+	$(PRINT_INSTALL) E-ACSL scripts
 	find scripts -maxdepth 1 -type f -executable -exec $(CP) {} $(BINDIR) \;
 
 uninstall::
@@ -144,6 +145,7 @@ uninstall::
 	$(RM) $(FRAMAC_SHARE)/manuals/e-acsl.pdf \
 	      $(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf \
 	      $(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
+	$(PRINT_RM) E-ACSL scripts
 	find scripts -maxdepth 1 -type f -executable -execdir $(RM) $(BINDIR)/{} \;
 
 ################################