gui: Improve documentation of --stat-cmd.

The new text is shorter and more to the point.

diff --git a/m4/gengetopt/gui.m4 b/m4/gengetopt/gui.m4
index 8e21356f3bb362b3aecccd6f4d19bbaea58c7ae2..a6b718ee958815fdadff3ff4cb7206626f46540b 100644 (file)
--- a/m4/gengetopt/gui.m4
+++ b/m4/gengetopt/gui.m4
@@ -41,15 +41,13 @@ string typestr = "command"
 default = "para_audioc -- stat -p"
 optional
 details = "
-       In order to run para_gui on a host on which no para_audiod
-       is running (hence the default command does not work), the
-       command
+       On a host on which the para_audiod service is not is running, the
+       default command will fail. An alternative is
 
                para_client -- stat -p
 
-       may be used. This command prints less information though.
-       In particular, no timing information about the current audio
-       file is printed.
+       This command connects para_server instead of para_audiod. However,
+       no timing information about the current audio file is printed.
 "
 
 #---------------------------------