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

[Eli Zaretskii]

> Date: Sat, 04 Apr 2020 19:16:51 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: gdb-patches@sourceware.org
> 
> > From: Tom Tromey <tom@tromey.com>
> > Date: Sat,  4 Apr 2020 08:54:19 -0600
> > Cc: Tom Tromey <tom@tromey.com>
> > 
> > diff --git a/gdb/NEWS b/gdb/NEWS
> > index 9d85e630e8c..b376737e409 100644
> > --- a/gdb/NEWS
> > +++ b/gdb/NEWS
> > @@ -3,6 +3,8 @@
> >  
> >  *** Changes since GDB 9
> >  
> > +* GDB will now display a helpful tip when starting up.
> > +

Should this be in the manual?

Also, I think we want the structure and format of the 'tips' file
documented in the manual, as I presume we'd add tips to it with time