[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: texinfo macro names don't allow digits
From: |
Aharon Robbins |
Subject: |
Re: texinfo macro names don't allow digits |
Date: |
Mon, 03 Feb 2014 20:33:22 +0200 |
User-agent: |
Heirloom mailx 12.5 6/20/10 |
Hi Karl.
Thanks for the explanations.
Arnold
> Date: Fri, 31 Jan 2014 22:09:28 GMT
> From: address@hidden (Karl Berry)
> To: address@hidden
> Cc: address@hidden
> Subject: Re: texinfo macro names don't allow digits
>
> Hi Arnold,
>
> I admit to not checking, but if this isn't documented, it should be.
>
> It is. Along with approximately two zillion other caveats about @macro
> usage :).
>
> Also, I would suggest that makeinfo be modified to enforce this
> restriction as well.
>
> Historically, makeinfo's @macro has always accepted lots of things that
> texinfo.tex's @macro doesn't. This was construed (not by me) to be a
> feature, and I believe some documents rely on it (i.e., use texi2dvi -E
> or have different definitions), so I don't much want to change it now.
>
> Best,
> Karl
- Re: texinfo macro names don't allow digits,
Aharon Robbins <=