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

diff --git a/play.cmd b/play.cmd
deleted file mode 100644
index 8e2fb6ac..00000000
--- a/play.cmd
+++ /dev/null
@@ -1,41 +0,0 @@
-BN: play
-SF: play.c
-SN: list of commands
----
-N: ff
-D: Jump forwards or backwards.
-U: ff <seconds>
-H: Negative values mean to jmp backwards the given amount of seconds.
----
-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.