# HG changeset patch
# User ivo
# Date 1172663423 0
# Node ID 206b4600a95668da9d564430d443b4ead34ff51b
# Parent  98d5ee376a610337d6edb5b5f84db77bba0cd587
also respond to --help, -h and -? command line options

diff -r 98d5ee376a61 -r 206b4600a956 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Wed Feb 28 11:48:32 2007 +0000
+++ b/TOOLS/checktree.sh	Wed Feb 28 11:50:23 2007 +0000
@@ -105,7 +105,7 @@
 
 for i in "$@"; do
     case "$i" in
-    -help)
+    -help|--help|-h|-\?)
         echo -e "\n$0 [options] [files]\n"
         echo -e "options:\n"
         printoption "spaces    " "test for spaces in filenames" "$_spaces"