diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 0325f19a574868556c3f506d889a55b9707fadda..30126812b1e1fa3f0b9096ed926a283fd7417079 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/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)/{} \; ################################