summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-14 20:43:51 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-14 20:43:51 (GMT)
commit17a0a9be249c30589f4a371744ee07684b0bd2e3 (patch)
tree15ecb413ac3aeab424c3ecffcdf0e97533a1d421 /tools
parente4d94b871cecdb118aacdcbc22045100c78ec454 (diff)
Re-order help entries in populate.
Diffstat (limited to 'tools')
-rw-r--r--tools/populate.in6
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_
}