bug-texinfo
[Top][All Lists]
Advanced

[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



reply via email to

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