config.lib
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";;