manual: Expand description of para_play.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 1 May 2017 16:28:52 +0000 (18:28 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 May 2017 15:41:42 +0000 (17:41 +0200)
The text did not contain any characteristic features. Let's at least
mention that all audio formats are supported and that the command
line interface was designed to not suck.

web/manual.md

index 0b9b0fd..c31e1d3 100644 (file)
@@ -257,7 +257,10 @@ para_write can also be used as a stand-alone WAV or raw audio player.
 
 <h3> para_play </h3>
 
-A command line audio player.
+A command line audio player which supports the same audio formats as
+para_server. It differs from other players in that it has an insert
+and a command mode, like the vi editor. Line editing is based on
+libreadline, and tab completion and command history are supported.
 
 <h3> para_gui </h3>