[PATCH v2 7/7] Add "set startup-quietly"

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> Date: Tue, 23 Jun 2020 07:20:06 -0600
> Cc: Tom Tromey <tom@tromey.com>
> 
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -87,6 +87,13 @@ set style startup intensity VALUE
>    a special configuration file, so that it can be read during startup
>    and applied.
>  
> +set startup-quietly on|off
> +show startup-quietly
> +  When enabled, this causes GDB to act as if "-silent" were always
> +  passed on the command line.  This saves the setting into a special
> +  configuration file, so that it can be read during startup and
> +  applied.

OK for this part.

> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -1124,6 +1124,19 @@ in your home directory.
>  ``Quiet''.  Do not print the introductory and copyright messages.  These
>  messages are also suppressed in batch mode.
>  
> +This can also be enabled using @code{set startup-quietly on}.  The
> +default is @code{off}.  Use @code{show startup-quietly} to see the
> +current setting.  Unlike most settings in @value{GDBN}, this one is
> +automatically saved by creating a special file in a configuration
> +directory.

Please index the new commands using @kindex, as we do for every
command.

The documentation parts are OK with this nit fixed, thanks.