diff options
| -rw-r--r-- | tools/populate.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/populate.in b/tools/populate.in index 5180f26..ea5e9dc 100644 --- a/tools/populate.in +++ b/tools/populate.in @@ -13,15 +13,15 @@ doHelp() { cat <<_EOF_ $myname [-f] [-v] -s source_root -d destination_root - -f force execution: if destination directory already exists, - it will be removed first. - -s dir use 'dir' as the un-populated (source) root directory -d dir use 'dir' as the place to put the populated root directory + -f force execution: if destination directory already exists, + it will be removed first. + -v Be verbose _EOF_ } |