X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=m4%2Fgengetopt%2Fplay.m4;h=cb406bec8f45cad5fdde710ddc0ee8657d2e56c6;hb=d9e05a6585d795e44847608a8a6ee424a7604b74;hp=ea41f562fe504e00d0be096b83f174d4dc41129d;hpb=e2eebf654cae2fc004cee516a0e165127c0214ca;p=paraslash.git

diff --git a/m4/gengetopt/play.m4 b/m4/gengetopt/play.m4
index ea41f562..cb406bec 100644
--- a/m4/gengetopt/play.m4
+++ b/m4/gengetopt/play.m4
@@ -33,7 +33,7 @@ option "randomize" z
 "randomize playlist at startup."
 flag off
 
-option "key_map" k
+option "key-map" k
 #~~~~~~~~~~~~~~~~~
 "Map key k to a command."