[PATCH] Add "set print finish"

[Eli Zaretskii]

> From: Tom Tromey <tromey@adacore.com>
> Cc: Tom Tromey <tromey@adacore.com>
> Date: Thu, 16 May 2019 10:32:44 -0600
> 
> gdb/ChangeLog
> 2019-05-16  Tom Tromey  <tromey@adacore.com>
> 
> 	* NEWS: Add entry.
> 	* infcmd.c (print_return_value_1): Handle finish_print
> 	option.
> 	(show_print_finish): New function.
> 	(_initialize_infcmd): Add "set/show print finish" commands.
> 	* valprint.c (user_print_options): Initialize new member.
> 	* valprint.h (struct value_print_options) <finish_print>: New
> 	member.
> 
> gdb/doc/ChangeLog
> 2019-05-16  Tom Tromey  <tromey@adacore.com>
> 
> 	* gdb.texinfo (Continuing and Stepping): Document new
> 	commands.

Thanks, the documentation parts are OK.