That would seem kind of ugly. ;-)
It's ugly, but it's all I can think of with what we've got now. I've
seen indexes (ab)used in such ways before.
That would work but it does indeed complicate things a little bit.
Well, depending on how strongly you feel about all this, I can try to
implement it.
http://www.gnu.org/software/gnutls/manual/html_node/Function-and-Data-Index.html
Indeed, I agree that separate indexes would be beneficial here.
k
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
