From: Matteo Nastasi (mop) Date: Sun, 24 Dec 2006 14:48:45 +0000 (+0000) Subject: corretto bug X-Git-Tag: 3.0.0~404 X-Git-Url: https://mop.ddnsfree.com/gitweb/?p=brisk.git;a=commitdiff_plain;h=156514348133ff62264a5b5778ea5a881698c2ae corretto bug --- 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 }