From ffab33352cd61df01b221c0438c8847af7a20e0c Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 1 May 2017 18:28:52 +0200
Subject: [PATCH] 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.
---
 web/manual.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/web/manual.md b/web/manual.md
index 0b9b0fdd..c31e1d31 100644
--- 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>
 
-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>
 
-- 
2.39.5