- /tool/jsmin.rb\r
- Permet la minification du javascript utilisé lors de la mise en production.\r
- \r
- /tool/mise_en_prod.rb\r
- Script permettant la mise en production du site.\r
+ /tools/tools.rb\r
+ Regoupe un ensemble d'outils permettant :\r
+ - La mise en production\r
+ - La vérification des fichiers JavaScript à l'aide de 'jslint.js'\r
+ - La mise à jour du numéro de version dans les sources à partir de /VERSION\r
+ Voir "tools.rb --help"\r