Re: [PATCH v2 3/7] Add "tips" file to gdb

Eli Zaretskii
2020-06-23T14:36:40Z

> From: Tom Tromey <tom@tromey.com>
> Date: Tue, 23 Jun 2020 07:20:02 -0600
> Cc: Tom Tromey <tom@tromey.com>
>
> This adds a "tips" file to gdb. This file holds handy tips -- right
> now there are just a few, but it's easy to add more. A random tip is
> displayed during interactive startup.
>
> gdb/ChangeLog
> 2020-06-22 Tom Tromey <tom@tromey.com>
>
> * NEWS: Add entry.
> * top.c (startup_style): New global.
> (print_tip): New function.
> (print_gdb_version): Update. Don't print "show configuration"
> or "apropos" info. Call print_tip.
> * tips: New file.
> * data-directory/Makefile.in (GDB_FILES): Add "tips".
>
> gdb/doc/ChangeLog
> 2020-06-22 Tom Tromey <tom@tromey.com>
>
> * gdb.texinfo (Help): Mention tips.

Thanks, this is OK for the documentation parts.