diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 12e74d73834aaec570cb86d72a9cb21d72daffd3..06fe2bc6832737372f01ef72fa05006d6a154442 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -122,6 +122,7 @@ install::
 	$(PRINT_CP) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
+	$(MKDIR) $(FRAMAC_SHARE)/manuals
 	$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
 		$(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
 		$(FRAMAC_SHARE)/manuals
diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index 43fe348e577e44e7a11ee97b9d6140007ad547f1..1a15316b6e918cba97974e9407139bd5e219deaf 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -31,7 +31,6 @@
 #########
 
 - améliorer test "integer_constant.i" quand bug fixed #745
-- test sizeof.i devraient être plus précis quand logic_typing plus précis
 - inclure exemple du E-ACSL Reference Manual
 - test arith.i: mettre les exemples du ACSL manual about div and modulo
 - test lazy.i: en attente d'un fix dans l'analyse de valeurs