# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1184445831 0
# Node ID 316debfc1795a7bb02db61a1165e0147be2cadab
# Parent  7613a256b9a632cfa213c43195bca570b4c69a54
Re-order help entries in populate.

diff -r 7613a256b9a6 -r 316debfc1795 tools/populate.in
--- a/tools/populate.in	Sat Jul 14 17:34:54 2007 +0000
+++ b/tools/populate.in	Sat Jul 14 20:43:51 2007 +0000
@@ -13,15 +13,15 @@
     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_
 }