Re: [PATCH, doc]: Rename Index node to prevent file collision

[Eli Zaretskii <eliz@gnu.org>]

> From: Michael Hope <michael.hope@linaro.org>
> Date: Mon, 18 Jun 2012 11:26:04 +1200
> Cc: Joel Brobecker <brobecker@adacore.com>, joseph@codesourcery.com, 
> 	gdb-patches@sourceware.org
> 
> Changing the node name works around a tools problem and makes the
> output the same for all hosts.

I fail to understand why working around by changes in one file
(gdb.texinfo) is acceptable, but working around in another file
(makeinfo's source) is not.  I guess I'm missing something.

> I agree that 'Index' is more natural than 'GDB Index'.  How about
> matching GCC, and call it the 'Concept Index' instead?

(I wouldn't take example from GCC in any documentation-related area,
if you catch my drift.  I can never find anything there.  I hope the
GDB manual is better.)

The problem with your suggestion is that the GDB index is not a
concept index, it is all the indices lumped into one.  But I would be
OK if we separate the concept index from the rest, and then we could
have "Concept Index" and "Command and Variable Index".