> I can add these to texinfo.tex and texinfo.texi, etc., easily enough.
> Do you have time to add it to makeinfo?
Yes.
Great. I will work on it next week.
For HTML cross manual I propose doing the same as for "style"
commands and key and kbd, that is replace by the content.
Agreed.
Also in raw text, I propose using content as is without any formatting
(used for instance for file names, for index sorting).
Fine.
Thanks,
K
