When a label has a digit in it dellivelink.py notices
authorDavid Anderson <davea42@earthlink.net>
Tue, 8 Oct 2013 15:21:32 +0000 (08:21 -0700)
committerDavid Anderson <davea42@earthlink.net>
Tue, 8 Oct 2013 15:21:32 +0000 (08:21 -0700)
commite2a0c475c7d8e2bb4fbc74870d5490d9b361d162
tree807bb99e7cdc269cb091bc6f8227837b29a49b58
parent1303a512bc60bbc690a0dc89d71d6dce21e94740
When a label has a digit in it dellivelink.py notices
and prints a warning. And for that instance, does not convert
to the new form.
Because digits are not allowed in command names.
The remaining instances should be fixed in the .tex.
dwarf5/tools/dellivelink.py
dwarf5/tools/dellivelink.tex