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 }