[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
texinfo macro names don't allow digits
|
From: |
Aharon Robbins |
|
Subject: |
texinfo macro names don't allow digits |
|
Date: |
Fri, 31 Jan 2014 11:23:04 +0200 |
|
User-agent: |
Heirloom mailx 12.5 6/20/10 |
Hi All.
I recently discovered that texinfo macros should not have digits in
their names, since texinfo.tex chokes on them.
I admit to not checking, but if this isn't documented, it should be.
Also, I would suggest that makeinfo be modified to enforce this restriction
as well.
Much thanks,
Arnold
- texinfo macro names don't allow digits,
Aharon Robbins <=