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

Eli Zaretskii
2012-06-18T02:53:20Z

> 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".