diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 89093a7fb2d6f8c698a4a6da9d2f4b777964aaba..1bb22429622d2001c080a959bb5067d9da8b2eea 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -173,6 +173,11 @@ src-distrib: .depend
 	$(PRINT) Cleaning
 	$(RM) -fr $(EXPORT)
 
+WWW	= /localhome/julien/frama-c/doc/www
+install-distrib: src-distrib
+	$(PRINT) Copying to website
+	$(CP) $(EXPORT).tar.gz $(WWW)/distrib/download
+
 ##########
 # Header #
 ##########
diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index 46b9d4fc150ddb0a9ad6adefeda91b4b204ea193..f8142741410d41a647400eb9bc0bb5136ca649cd 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -2,9 +2,6 @@
 # NEXT RELEASE #
 ################
 
-- vérifier le code de la division et du modulo 
-  (div et modulo mathématiques différents des div et modulo de l'ANSI C99)
-
 ########
 # CODE #
 ########
@@ -22,6 +19,8 @@
   (generalisation of current Visit.principal_type)
 - customization des noms de variable générés 
   (par ex pour indiquer le nom de la variable d'origine, ou son rôle)
+- vérifier le code de la division et du modulo 
+  (div et modulo mathématiques différents des div et modulo de l'ANSI C99)
 
 ##############
 # KNOWN BUGS #
@@ -36,6 +35,4 @@
 
 - améliorer test "integer_constant.i" quand bug fixed #745
 - test sizeof.i devraient être plus précis quand logic_typing plus précis
-- structs
-- unions
 - inclure exemple du E-ACSL Reference Manual
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf
index 69629fbe2b1a9d6241c9ef157845f0b9dc87584a..4876dc2a746a4b55399fc9be7c799f064bd5518c 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf differ
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl.pdf
index c87ff92ef94b1449624a714c7091f4299d817b21..bad7a68fec8cfe50a1634ece77344203ffef97a2 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl.pdf differ