[PATCH v3 4/4] btrace: add instruction-history /s and fix documentation

[Eli Zaretskii]

> From: Markus Metzger <markus.t.metzger@intel.com>
> Cc: gdb-patches@sourceware.org, palves@redhat.com
> Date: Tue, 27 Oct 2015 10:54:13 +0100
> 
> gdb/
> 	* record.c (get_insn_history_modifiers): Set DISASSEMBLY_SOURCE
> 	instead of DISASSEMBLY_SOURCE_DEPRECATED.  Also accept /s.
> 	(_initialize_record): Document the /s modifier.
> 	* NEWS: Announce record instruction-history's new /s modifier.
> 
> doc/
> 	* gdb.texinfo (Process Record and Replay): Document "record
> 	instruction-history" modifiers.

OK for the documentation parts.

Thanks.