X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=m4%2Fgengetopt%2Fplay.m4;h=57f954c4c0ee094f3f8323d2d25956672f91a0f3;hp=9bdc767cfdb9c116eca5f273f50242161d9369f1;hb=3e3d8e1b48bbd8dbf46adf517c311b5e78dc820f;hpb=d02f88dfc3911262174afe6017e04d70e8557a7a

diff --git a/m4/gengetopt/play.m4 b/m4/gengetopt/play.m4
index 9bdc767c..57f954c4 100644
--- a/m4/gengetopt/play.m4
+++ b/m4/gengetopt/play.m4
@@ -2,6 +2,8 @@ args "--unamed-opts=audio_file --no-handle-version --conf-parser --no-handle-hel
 include(header.m4)
 define(CURRENT_PROGRAM,para_play)
 define(DEFAULT_CONFIG_FILE,~/.paraslash/play.conf)
+define(DEFAULT_HISTORY_FILE,~/.paraslash/play.history)
+
 <qu>
 #########################
 section "General options"
@@ -9,3 +11,28 @@ section "General options"
 </qu>
 include(loglevel.m4)
 include(config_file.m4)
+include(history_file.m4)
+<qu>
+
+###############################
+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
+"
+</qu>