Re: rethinking @def*

[Eli Zaretskii]

> Date: Tue, 26 Jul 2022 14:53:02 +0200
> From: pertusus@free.fr
> Cc: bug-texinfo@gnu.org
> 
> On Tue, Jul 26, 2022 at 11:31:27AM +0000, Werner LEMBERG wrote:
> > 
> > ... I consider this a bad idea.  Whatever you are going to change, it
> > will be backward incompatible, causing a lot of grief.
> 
> It is only backward incompatible in term of formatting, not in term of
> Texinfo language or syntax (nor truely in term of semantics, as there is
> no clear semantics for now).

That is true, but since we've had the current behavior for decades,
people jump through all kinds of hoops to get fancy results from these
commands, and your changes will definitely change their output,
sometimes in ways they won't like.