From 8e5165990c3ddd5582bdb65561b51e5272769022 Mon Sep 17 00:00:00 2001 From: Greg Burri Date: Thu, 24 Jul 2008 08:38:16 +0000 Subject: [PATCH] MOD maj README --- README | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/README b/README index 241a0a1..eac117d 100644 --- a/README +++ b/README @@ -66,18 +66,16 @@ est décrit dans le fichier /doc/installation.txt. /tools Contient des outils diverses permettant l'aide au développement ou la mise en production. - /tools/copie_num_version.rb - Copie le contenu de /VERSION à différents endroits des sources, entre autre dans /pages/about.html + /tools/tools.rb + Regoupe un ensemble d'outils permettant : + - La mise en production + - La vérification des fichiers JavaScript à l'aide de 'jslint.js' + - La mise à jour du numéro de version dans les sources à partir de /VERSION + Voir "tools.rb --help" /tools/jsmin.rb Permet la minification du javascript utilisé lors de la mise en production. - - /tools/mise_en_prod.rb - Script permettant la mise en production du site. - - /tools/mise_en_prod.erl - 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. - + /tools/start_yaws.sh Script shell permettant de lancer Yaws, utilisé uniquement pour le développement. Il faut s'assuré que Yaws n'est pas déjà démarré comme daemon avec d'exécuter ce script. - \ No newline at end of file + \ No newline at end of file -- 2.43.0