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