Re: rethinking @def*

[Gavin Smith]

On Mon, Aug 01, 2022 at 12:54:09AM +0200, pertusus@free.fr 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).