diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index d5338485f328481a83284026f7806c010ffade10..4bd731c5348d91942e67c8391383fc7b9d836cf4 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -125,16 +125,20 @@ install::
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl/memory_model
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/memory_model/* \
 		$(FRAMAC_SHARE)/e-acsl/memory_model
+	$(PRINT_CP) E-ACSL manuals
 	$(MKDIR) $(FRAMAC_SHARE)/manuals
 	$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
-		$(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
+	      $(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
+	      $(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
 		$(FRAMAC_SHARE)/manuals
 
 uninstall::
 	$(PRINT_RM) E-ACSL share files
 	$(RM) -r $(FRAMAC_SHARE)/e-acsl
+	$(PRINT_RM) E-ACSL manuals
 	$(RM) $(FRAMAC_SHARE)/manuals/e-acsl.pdf \
-		$(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf
+	      $(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf \
+	      $(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
 
 ################################
 # Building source distribution #
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..59a41d0f3486fefe9b0201c14241e5b46c9452fc
Binary files /dev/null and b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf differ
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index eff020511a25f23c3a74ef737c2acf792f6182e6..5f320df835c686e184304ea1496788e56adc475a 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -18,9 +18,9 @@ FC_VERSION= Fluorine-20130501
 
 EACSL_DIR=$(HOME)/plugins/e-acsl
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
-install: e-acsl-manual.pdf
-	cp -f $^ $(EACSL_DIR)/doc/manuals
-	cp -f main.pdf 
+install: 
+	cp -f main.pdf $(EACSL_DIR)/doc/manuals/e-acsl-manual.pdf
+	cp -f main.pdf \
 	  $(DISTRIB_DIR)/download/e-acsl/e-acsl-$(EACSL_VERSION).pdf
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern