create manuals dir if it does not exist

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

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

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