#include <sys/types.h>
#include <sys/stat.h>
#include <ctype.h>
-#include "event-loop.h"
+#include "gdbsupport/event-loop.h"
#include "ui-out.h"
#include "interps.h"
if (print_help)
{
print_gdb_help (gdb_stdout);
- fputs_unfiltered ("\n", gdb_stdout);
exit (0);
}
GDB manual (available as on-line info or a printed manual).\n\
"), stream);
if (REPORT_BUGS_TO[0] && stream == gdb_stdout)
- fprintf_unfiltered (stream, _("\
-Report bugs to \"%s\".\n\
+ fprintf_unfiltered (stream, _("\n\
+Report bugs to %s.\n\
"), REPORT_BUGS_TO);
+ if (stream == gdb_stdout)
+ fprintf_unfiltered (stream, _("\n\
+You can ask GDB-related questions on the GDB users mailing list\n\
+(gdb@sourceware.org) or on GDB's IRC channel (#gdb on Freenode).\n"));
}