gdbreplay not installed

[Eli Zaretskii]

> Date: Thu, 06 Feb 2014 12:56:50 +0000
> From: Pedro Alves <palves@redhat.com>
> CC: gdb-patches@sourceware.org
> 
> On 02/06/2014 12:50 PM, Eli Zaretskii wrote:
> > I noticed that gdbreplay is built, but not installed by "make
> > install".  Is that on purpose?
> 
> Yeah, it's always been that way AFAIK.  That's because that's really
> a maintainer tool, not a user tool.  I don't think gdbreplay is
> even documented in the user manual?

It is mentioned in gdbserver/README.

If it is not for users, perhaps it shouldn't be built by the default
Make target?