X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=m4%2Fgengetopt%2Fplay.m4;h=cb406bec8f45cad5fdde710ddc0ee8657d2e56c6;hb=5c8d440eace21b3a80b7f3f5930dba90e69adeef;hp=ea41f562fe504e00d0be096b83f174d4dc41129d;hpb=650e5374914c1eb725ce7d2a720611bec22112bc;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."