Skip to content
Snippets Groups Projects
Commit c6b5fd84 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Added print statements for installing/uninstalling man pages to the main 

makefile
parent b14e0625
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 2
− 0
View file @ c6b5fd84
...@@ -138,6 +138,7 @@ install:: ...@@ -138,6 +138,7 @@ install::
$(PRINT_INSTALL) E-ACSL scripts $(PRINT_INSTALL) E-ACSL scripts
$(MKDIR) $(BINDIR) $(MKDIR) $(BINDIR)
$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(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/ $(CP) $(E_ACSL_DIR)/man/e-acsl-gcc.sh.1 $(MANDIR)/man1/
uninstall:: uninstall::
...@@ -149,6 +150,7 @@ uninstall:: ...@@ -149,6 +150,7 @@ uninstall::
$(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf $(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
$(PRINT_RM) E-ACSL scripts $(PRINT_RM) E-ACSL scripts
$(RM) $(BINDIR)/e-acsl-gcc.sh $(RM) $(BINDIR)/e-acsl-gcc.sh
$(PRINT_RM) man pages
$(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1 $(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1
################################ ################################
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment