Re: [help-texinfo] attribute ‘number’

[Gavin Smith]

On 1 March 2015 at 22:23, Karl Berry <address@hidden> wrote:
>     I'd suggest not adding data to the output formats unless there is a
>     real use for it.
>
> The purpose of the XML format is to provide a maximal representation of
> the Texinfo input.  There is no "use" for XML beyond that.

There is a question of the amount of redundancy in the output, without
changing the amount of information it contains. Users of the XML files
could count the index entries themselves, so having a "number"
attribute is there as a convenience only. Likewise, the 'number' data
in the parse tree is set there for the convenience of the converters.