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

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."