Skip to content
Snippets Groups Projects
Commit b86af3ac authored by Julien Signoles's avatar Julien Signoles
Browse files

[Makefile] fix man pages intallation again

parent cd0acaf0
No related branches found
No related tags found
No related merge requests found
......@@ -138,8 +138,8 @@ install::
$(PRINT_INSTALL) E-ACSL scripts
$(MKDIR) $(BINDIR)
$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)/
$(PRINT_INSTALL) man pages
$(MKDIR) $(MANDIR)
$(PRINT_INSTALL) E-ACSL man pages
$(MKDIR) $(MANDIR)/man1
$(CP) $(E_ACSL_DIR)/man/e-acsl-gcc.sh.1 $(MANDIR)/man1/
uninstall::
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment