- Contient des outils diverses permettant l'aide au développement ou la mise en production.\r
- /tool/minjs.rb\r
- Permet la minification du javascript utilisé lors de la mise en production\r
+ Contient des outils diverses permettant l'aide au développement ou la mise en production.\r
+ \r
+ /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
+ \r
+ /tool/mise_en_prod.erl\r
+ Script Erlang exécuté sur le serveur lors de la mise en prod et effectuant des opérations tel que le rechargement des modules et le déclanchement de la mise à jour de la BD.\r