tool/cmd_data.cpp
changeset 1133 860d1c3d08fc
parent 1130 bb1c11adb2db
child 1137 a73c0f54be42
--- a/tool/cmd_data.cpp	Wed Jul 23 07:22:47 2008 +0000
+++ b/tool/cmd_data.cpp	Wed Jul 23 07:24:22 2008 +0000
@@ -17,9 +17,9 @@
     "Output binary domain data.\n"
     "\n"
     "Command-specific options:\n"
-    "  --domain -d <index> Positive numerical domain index. If this option\n"
-    "                      is not specified, data of all domains are\n"
-    "                      concatenated.\n";
+    "  --domain -d <index> Positive numerical domain index, or 'all' for\n"
+    "                      all domains (default). In this case, data of all\n"
+    "                      domains are concatenated.\n";
 
 /****************************************************************************/