diff --git a/config.lib b/config.lib index 9bbd86093d..fd59496527 100644 --- a/config.lib +++ b/config.lib @@ -3169,6 +3169,7 @@ showhelp() { echo " --with-midi=midi define which midi-player to use" echo " --with-midi-arg=arg define which args to use for the" echo " midi-player" + echo " --with-libtimidity enables libtimidity support" echo " --with-allegrol[=allegro-config]" echo " enables Allegro video driver support" echo " --with-cocoa enables COCOA video driver (OSX ONLY)"