Hi Akim,
The following patch is therefore multi-purpose; again I'm sorry,
but I cannot easily split it.
Sure. I installed it, and the result still works for me on the Texinfo
manuals :). We'll see if anyone else runs into problems. Thanks as
always (and sorry for the delayed reply).
Hi Robert,
(Sorry for the delayed reply.)
or failing that how much texinfo can help me do this.
It's a good question. From your description, it occurs to me that this
seems close to an index of categories. So I wonder if Texinfo's index
commands can help a bit. I'm not entirely sure, but
