config.lib
changeset 10245 f7274a7079d6
parent 10244 b0fd746c5532
child 10246 d1227bb654b8
--- a/config.lib	Thu Oct 16 11:12:18 2008 +0000
+++ b/config.lib	Thu Oct 16 11:33:17 2008 +0000
@@ -37,6 +37,7 @@
 	man_dir="1"
 	menu_dir="1"
 	menu_group="Game;"
+	menu_name="OpenTTD"
 	binary_name="openttd"
 	enable_debug="0"
 	enable_desync_debug="0"
@@ -101,6 +102,7 @@
 		shared_dir
 		install_dir
 		menu_group
+		menu_name
 		binary_name
 		enable_debug
 		enable_desync_debug
@@ -215,6 +217,9 @@
 			--menu-dir=*)                 menu_dir="$optarg";;
 			--without-menu-entry)         menu_dir="";;
 
+			--menu-name)                  prevp_p="menu_name";;
+			--menu-name=*)                menu_name="$optarg";;
+
 			--binary-name)                prevp_p="binary_name";;
 			--binary-name=*)              binary_name="$optarg";;
 
@@ -2379,7 +2384,8 @@
 generate_menu_item() {
 	MENU_REPLACE="
 		s~!!TTD!!~$TTD~g;
-		s~!!MENU_GROUP!!~$menu_group~g
+		s~!!MENU_GROUP!!~$menu_group~g;
+		s~!!MENU_NAME!!~$menu_name~g
 	"
 	echo "Generating menu item..."
 	mkdir -p media
@@ -2553,6 +2559,7 @@
 	echo "                                 (OSX ONLY)"
 	echo "  --without-menu-entry           Don't generate a menu item (Freedesktop based only)"
 	echo "  --menu-group=group             Category in which the menu item will be placed (Freedesktop based only)"
+	echo "  --menu-name=name               Name of the menu item when placed [OpenTTD]
 	echo "  --with-direct-music            enable direct music support (Win32 ONLY)"
 	echo "  --with-sort=sort               define a non-default location for sort"
 	echo "  --with-midi=midi               define which midi-player to use"