[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: Tue, 26 Jul 2022 19:40:32 +0100

On Tue, Jul 26, 2022 at 04:17:08PM +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
> Yes, and I consider this as bad.  As I mentioned in my previous
> e-mail, such a change would ruin any fine-tuning of the formatting – a
> formatting that stayed unmodified for a very long time.

We could see what the change would do to various documents once it is
implemented.  It's possible that the change wouldn't cause a problem.
If it would break documents or make documents worse then it could be
rethought or abandoned.

reply via email to

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