From 17a0a9be249c30589f4a371744ee07684b0bd2e3 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Sat, 14 Jul 2007 20:43:51 +0000
Subject: Re-order help entries in populate.


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_
 }
-- 
cgit v0.10.2-6-g49f6