From 156514348133ff62264a5b5778ea5a881698c2ae Mon Sep 17 00:00:00 2001 From: "Matteo Nastasi (mop)" Date: Sun, 24 Dec 2006 14:48:45 +0000 Subject: [PATCH] corretto bug --- INSTALL.sh | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/INSTALL.sh b/INSTALL.sh index 5de395e..9ba9471 100755 --- a/INSTALL.sh +++ b/INSTALL.sh @@ -17,15 +17,14 @@ fi function usage () { echo echo "$1 -h" - echo "$1 [-W] [-n 3|5] [-d TRUE|FALSE] [-w web_dir] [-k ] [-c ] [-W]" + echo "$1 [-W] [-n 3|5] [-d TRUE|FALSE] [-w web_dir] [-k ] [-c ]" echo " -h this help" echo " -W web files only" - echo " -n number of players - def. $n_players" - echo " -d activate dabug - def. $brisk_debug" + echo " -n number of players - def. $n_players" + echo " -d activate dabug - def. $brisk_debug" echo " -w dir where place the web tree - def. \"$web_path\"" echo " -k dir where place ftok files - def. \"$ftok_path\"" - echo " -c cookie path - def. \"$cookie_path\"" - echo " -W install web files only" + echo " -c cookie path - def. \"$cookie_path\"" echo } -- 2.17.1