This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH, doc]: Rename Index node to prevent file collision
> 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".