echo " #--------------------------------------------------------------------------- # configuration options related to warning and progress messages #--------------------------------------------------------------------------- WARNINGS = YES WARN_IF_UNDOCUMENTED = YES WARN_IF_DOC_ERROR = YES WARN_FORMAT = \"\$file:\$line: \$text\" WARN_LOGFILE = "