On Mon, Aug 01, 2022 at 12:54:09AM +0200, [email protected] wrote: > Maybe the best would be to use gdt for the category followed by the : > only, and use directly html for the remaining, which would have the > added advantage of simplifying the code, as we would not need to have > the whole Texinfo expression literally. it is already done like that > in one case anyway.
When I implemented "@set txidefnamenospace" in LaTeX.pm I reduced the use of gdt a lot. I think it's simpler to output HTML directly as then you can easily see where the output is coming from (faster too, as there is no need to parse the Texinfo argument to gdt).
