DWARF Git Projects / dwarf-doc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1303a51) | patch
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
tree807bb99e7cdc269cb091bc6f8227837b29a49b58tree | snapshot
parent1303a512bc60bbc690a0dc89d71d6dce21e94740commit | diff
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 diff | blob | history
dwarf5/tools/dellivelink.tex diff | blob | history
DWARF document repository