tools/refer.py
authorDavid Anderson <davea42@earthlink.net>
Sun, 15 Jun 2014 18:24:30 +0000 (11:24 -0700)
committerDavid Anderson <davea42@earthlink.net>
Sun, 15 Jun 2014 18:24:30 +0000 (11:24 -0700)
commitc5feb619650cee1a4b25754c6335124f4bb1ee90
treed1a5374838b358e0d6d4b9418c8f731cc267f3d6
parent47cca9a0f2d5f8872cd98b07ac28921c8a8312bd
tools/refer.py

There are various special cases of newcommand that we were
ignoring, thus ignoring bad hyperlinks.

Now, one thinks, we find them all.
dwarf5/tools/refer.py