print TOOL_HELP only if it's non-empty