[Makefile] fix installation of man pages

f6ff2044 · Julien Signoles · fea79186 · f6ff2044
Commit f6ff2044 authored 9 years ago by Julien Signoles
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -139,6 +139,7 @@ install::
 	$(MKDIR) $(BINDIR)
 	$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)/
 	$(PRINT_INSTALL) man pages
+	$(MKDIR) $(MANDIR)
 	$(CP) $(E_ACSL_DIR)/man/e-acsl-gcc.sh.1 $(MANDIR)/man1/

 uninstall::