manual: Expand description of para_play.

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.

diff --git a/web/manual.md b/web/manual.md
index 0b9b0fdd8648c0d4dc271143a72679b8ffd5c452..c31e1d3146739cf8fd966e2f119c1de5ef191b66 100644 (file)
--- a/web/manual.md
+++ b/web/manual.md
@@ -257,7 +257,10 @@ para_write can also be used as a stand-alone WAV or raw audio player.
 
 <h3> para_play </h3>
 
 
 <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>
 
 
 <h3> para_gui </h3>