From f6ff20440335b1b967400bba75c51344c764cfd2 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 8 Feb 2016 15:12:51 +0100
Subject: [PATCH] [Makefile] fix installation of man pages

---
 src/plugins/e-acsl/Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 65b6a0d9866..6f092426d6a 100644
--- 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::
-- 
GitLab