X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=play.cmd;h=459ad8cfe3091264f17913d2915861dde7f8b02f;hb=refs%2Fheads%2Fmaint;hp=595d0f4aa49fee237e5889f8d8699a67e068188c;hpb=e20b1c45fee6f658afea9a92e5a833a449b0e2ff;p=paraslash.git

diff --git a/play.cmd b/play.cmd
deleted file mode 100644
index 595d0f4a..00000000
--- a/play.cmd
+++ /dev/null
@@ -1,36 +0,0 @@
-BN: play
-SF: play.c
-SN: list of commands
----
-N: ls
-D: List playlist.
-U: ls
-H: This prints all paths of the playlist. The currently active file is
-H: marked with an asterisk.
----
-N: info
-D: Print information about the current file.
-U: info
-H: This is the audio file selector info.
----
-N: play
-D: Start or resume playing.
-U: play [<num>]
-H: Without <num>, starts playing at the current position. Otherwise, the
-H: corresponding file is loaded and playback is started.
----
-N: pause
-D: Stop playing.
-U: pause
-H: When paused, it is still possible to jump around in the file via the jmp and ff
-H: comands.
----
-N: tasks
-D: Print list of active tasks.
-U: tasks
-H: Mainly useful for debugging.
----
-N: quit
-D: Exit para_play.
-U: quit
-H: Pressing CTRL+D causes EOF on stdin which also exits para_play.