On Wed, Feb 15, 2012 at 02:16:39PM -0800, Karl Berry wrote: > XML, Info, Plaintext, rawtext, plaintexinfo, textcontent, in > my opinion, do not need it. This only leaves HTML and > DocBook that would need it. > > I agree.
This should be fixed. As a side note, index entries before @item are used in the texinfo manual itself... -- Pat
