1.1 --- a/tools/populate.in	Sat Jul 14 13:09:17 2007 +0000
     1.2 +++ b/tools/populate.in	Sat Jul 14 20:43:51 2007 +0000
     1.3 @@ -13,15 +13,15 @@
     1.4      cat <<_EOF_
     1.5  $myname [-f] [-v] -s source_root -d destination_root
     1.6  
     1.7 -    -f  force execution: if destination directory already exists,
     1.8 -        it will be removed first.
     1.9 -
    1.10      -s dir
    1.11          use 'dir' as the un-populated (source) root directory
    1.12  
    1.13      -d dir
    1.14          use 'dir' as the place to put the populated root directory
    1.15  
    1.16 +    -f  force execution: if destination directory already exists,
    1.17 +        it will be removed first.
    1.18 +
    1.19      -v  Be verbose
    1.20  _EOF_
    1.21  }