[RFC 3/6] Add "tips" file to gdb

Eli Zaretskii eliz@gnu.org
Mon Jun 22 02:24:35 GMT 2020


> From: Tom Tromey <tom@tromey.com>
> Cc: tom@tromey.com,  gdb-patches@sourceware.org
> Date: Sun, 21 Jun 2020 14:23:48 -0600
> 
> >> > +* GDB will now display a helpful tip when starting up.
> >> > +
> 
> Eli> Should this be in the manual?
> 
> Yeah, where would you suggest.

The node "Help" sounds like a good place.


More information about the Gdb-patches mailing list