[Top][All Lists]

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

Re: Generalising @def*

From: Gavin Smith
Subject: Re: Generalising @def*
Date: Thu, 2 Feb 2023 21:37:14 +0000

On Thu, Feb 02, 2023 at 07:14:53PM +0000, Gavin Smith wrote:
> Yes, we couldn't use @deffn.  I am thinking perhaps just @def which
> would be like the \defheaderline macro that you've already discovered
> in texinfo.tex.

On second thoughts, @def clashes badly with \def in TeX, so there's no
way we could add a Texinfo command called @def...  @defline or @defheaderline
would be ok.

reply via email to

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