From c6b5fd84c6a2ca734d02e58ec8e4a277cf45898c Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Fri, 5 Feb 2016 14:42:51 +0100 Subject: [PATCH] Added print statements for installing/uninstalling man pages to the main makefile --- src/plugins/e-acsl/Makefile.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 8874c6b9bb5..65b6a0d9866 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -138,6 +138,7 @@ install:: $(PRINT_INSTALL) E-ACSL scripts $(MKDIR) $(BINDIR) $(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)/ + $(PRINT_INSTALL) man pages $(CP) $(E_ACSL_DIR)/man/e-acsl-gcc.sh.1 $(MANDIR)/man1/ uninstall:: @@ -149,6 +150,7 @@ uninstall:: $(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf $(PRINT_RM) E-ACSL scripts $(RM) $(BINDIR)/e-acsl-gcc.sh + $(PRINT_RM) man pages $(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1 ################################ -- GitLab