--- a/config.lib Fri Aug 15 17:54:43 2008 +0000
+++ b/config.lib Fri Aug 15 19:18:55 2008 +0000
@@ -2504,7 +2504,7 @@
echo ""
echo "Features and packages:"
echo " --enable-debug[=LVL] enable debug-mode (LVL=[0123], 0 is release)"
- echo " --enable_desync_debug=[LVL] enable desync debug options (LVL=[012], 0 is none"
+ echo " --enable-desync-debug=[LVL] enable desync debug options (LVL=[012], 0 is none"
echo " --enable-profiling enables profiling"
echo " --enable-dedicated compile a dedicated server (without video)"
echo " --enable-static enable static compile (doesn't work for"
@@ -2524,7 +2524,7 @@
echo " --without-application-bundle disable generation of application bundle"
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-group=group Category in which the menu item will be placed (Freedesktop based only)"
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"