diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 6e2bb962d2c1b007b99c524d08c6cc580be0fbdd..aab26d649b8266865f15ee8a9a93d983d284cb2d 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -18,6 +18,7 @@
 /share/e-acsl/*.cm*
 /share/e-acsl/*.annot
 /share/e-acsl/*_DEP
+/doc/manuals
 /doc/code
 /doc/refman/*.out
 /doc/refman/*.bbl
diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index ae75562668d1c354cc0d875380f61c9be26ce459..cc121c29657b5939b0ba3bd58f51f95ecfbe6093 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -45,6 +45,7 @@ $(MAIN).pdf: $(DEPS_MODERN)
 EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
 install: e-acsl-implementation.pdf e-acsl.pdf
+	mkdir -p $(EACSL_DIR)/doc/manuals
 	cp -f $^ $(EACSL_DIR)/doc/manuals
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 2855dee8cda9a43228c879ec6d75e63de727cb39..c57604ecb34c5c927a21147c50a8958fade6976c 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -20,6 +20,7 @@ main.pdf: $(DEPS_MODERN)
 EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
 install:
+	mkdir -p $(EACSL_DIR)/doc/manuals/
 	cp -f main.pdf $(EACSL_DIR)/doc/manuals/e-acsl-manual.pdf
 #	cp -f main.pdf \
 	  $(DISTRIB_DIR)/download/e-acsl/e-acsl-manual-$(EACSL_VERSION).pdf