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 | 098c3b817e904feadd95b638a4813ca1af5af691 (patch) | |
| tree | 18929caebd1a76ba12e3f0422f8c0de2b3a008bf | |
| parent | 266dfc019cb229757f879f8037ca06353c5e4d5d (diff) | |
| download | openttd-098c3b817e904feadd95b638a4813ca1af5af691.tar.xz | |
(svn r14476) -Fix r14475: (no comment)
| -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" |