diff options
author | Phil Muldoon <pmuldoon@redhat.com> | 2013-07-22 11:42:31 +0000 |
---|---|---|
committer | Phil Muldoon <pmuldoon@redhat.com> | 2013-07-22 11:42:31 +0000 |
commit | 1cf55f60bfeca4e6ac3c80c8bb8913939346be3a (patch) | |
tree | 9603a33cab8a81073826dcb869b7ba8a1b65ee39 /gdb | |
parent | e673710a222f3fb4dfb843bce1ce85589bb4bfc6 (diff) | |
download | gdb-1cf55f60bfeca4e6ac3c80c8bb8913939346be3a.zip gdb-1cf55f60bfeca4e6ac3c80c8bb8913939346be3a.tar.gz gdb-1cf55f60bfeca4e6ac3c80c8bb8913939346be3a.tar.bz2 |
2013-07-22 Phil Muldoon <pmuldoon@redhat.com>
* top.c (print_gdb_version): Add help, apropos description and
url to online documentation.
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/top.c | 8 |
2 files changed, 12 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 89be305..82b8b83 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2013-07-22 Phil Muldoon <pmuldoon@redhat.com> + + * top.c (print_gdb_version): Add help, apropos description and + url to online documentation. + 2013-07-19 Hui Zhu <hui@codesourcery.com> PR gdb/15692 @@ -1145,8 +1145,14 @@ Type \"show configuration\" for configuration details."); { fprintf_filtered (stream, _("\nFor bug reporting instructions, please see:\n")); - fprintf_filtered (stream, "%s.", REPORT_BUGS_TO); + fprintf_filtered (stream, "%s.\n", REPORT_BUGS_TO); } + fprintf_filtered (stream, + _("Find the GDB manual and other documentation \ +resources online at:\n<http://www.gnu.org/software/gdb/documentation/>.\n")); + fprintf_filtered (stream, _("For help, type \"help\".\n")); + fprintf_filtered (stream, _("Type \"apropos word\" to search for \ +commands related to \"word\".\n")); } /* Print the details of GDB build-time configuration. */ |