[e-acsl] install-distrib + update TODO

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 #
 ##########

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