diff options
| author | truebrain <truebrain@openttd.org> | 2008-10-16 12:19:24 +0000 |
|---|---|---|
| committer | truebrain <truebrain@openttd.org> | 2008-10-16 12:19:24 +0000 |
| commit | 799f73aa29f5ebc9c07deecdd8612b41f86b496c (patch) | |
| tree | 18929caebd1a76ba12e3f0422f8c0de2b3a008bf /config.lib | |
| parent | a4712a3323eb11ee8c62a1dfaccad4dfefb4cb24 (diff) | |
| download | openttd-799f73aa29f5ebc9c07deecdd8612b41f86b496c.tar.xz | |
(svn r14476) -Fix r14475: (no comment)
Diffstat (limited to 'config.lib')
| -rw-r--r-- | config.lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.lib b/config.lib index 181de5a93..870691e39 100644 --- a/config.lib +++ b/config.lib @@ -2559,7 +2559,7 @@ showhelp() { 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 " --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" |