Re: [doc] Avoid conflicts between gdb and cross-gdb.

[Eli Zaretskii <eliz@gnu.org>]

> From: Mike Frysinger <vapier@gentoo.org>
> Cc: Joel Brobecker <brobecker@adacore.com>, gdb-patches@sourceware.org, monaka@monami-software.com
> Date: Wed, 06 Aug 2014 20:21:13 -0400
> 
> > Besides, why do that?  The Info manual does not include any
> > system-specific information, it is valid for all supported systems.
> > So I see no reason to put it into a system-dependent place or call it
> > by system-dependent name.
> 
> it's not system-dependent, but it is version dependent.  reading the 
> documentation for the native version can be wildly inaccurate than the 
> documentation for the cross version.  it's probably less of an issue for gdb 
> as features/flags don't change wildly quickly, but it makes a huge difference 
> for gcc (e.g. 4.7 to 4.8 to 4.9).

As I wrote elsewhere, Info doesn't support different versions of the
same manual installed on the same system, without some non-trivial
tinkering.