changeset 9681 | 0b6cb7307dfa |
parent 9680 | 91e74d1291fd |
child 9684 | b2f4a70edaaa |
--- a/config.lib Tue Jul 22 17:18:53 2008 +0000 +++ b/config.lib Tue Jul 22 18:53:52 2008 +0000 @@ -214,10 +214,11 @@ --with-menu-entry) with_menu_entry="1";; + --with-menu-entry=*) with_menu_entry="$optarg";; --without-menu-entry) with_menu_entry="0";; - --menu_group) prevp_p="menu_group";; - --menu_group=*) menu_group="$optarg";; + --menu-group) prevp_p="menu_group";; + --menu-group=*) menu_group="$optarg";;