X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=m4%2Fgengetopt%2Fplay.m4;fp=m4%2Fgengetopt%2Fplay.m4;h=0000000000000000000000000000000000000000;hb=44779382f0699be6b8daeeb25e7e1a2c40116d4b;hp=168755907fd302f8eb5f95c5484f04df210f95a9;hpb=d25417f95997d9e502d021d5fdb61ac843947495;p=paraslash.git
diff --git a/m4/gengetopt/play.m4 b/m4/gengetopt/play.m4
deleted file mode 100644
index 16875590..00000000
--- a/m4/gengetopt/play.m4
+++ /dev/null
@@ -1,48 +0,0 @@
-args "--unamed-opts=audio_file --no-handle-version --conf-parser --no-handle-help"
-
-purpose "Command line audio player"
-
-description "para_play operates either in command mode or in insert
-mode. In insert mode it presents a prompt and allows to enter commands
-like stop, play, pause etc. In command mode the current audio file
-is shown and the program reads single key strokes from stdin. Keys
-may be mapped to commands. Whenever a mapped key is pressed, the
-associated command is executed."
-
-include(header.m4)
-define(CURRENT_PROGRAM,para_play)
-define(DEFAULT_CONFIG_FILE,~/.paraslash/play.conf)
-define(DEFAULT_HISTORY_FILE,~/.paraslash/play.history)
-
-
-#########################
-section "General options"
-#########################
-
-include(loglevel.m4)
-include(config_file.m4)
-include(history_file.m4)
-
-
-###############################
-section "Options for para_play"
-###############################
-
-option "randomize" z
-#~~~~~~~~~~~~~~~~~~~
-"randomize playlist at startup."
-flag off
-
-option "key-map" k
-#~~~~~~~~~~~~~~~~~
-"Map key k to a command."
-
-string typestr = "key:command [args]"
-optional
-multiple
-details = "
- This option may be given multiple times, one for each key
- mapping. Example:
- 5:jmp 50
-"
-