[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: rethinking @def*

From: Gavin Smith
Subject: Re: rethinking @def*
Date: Mon, 1 Aug 2022 00:25:33 +0100

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).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]