tools:
authorDavid Anderson <davea42@earthlink.net>
Sat, 14 Jun 2014 16:13:11 +0000 (09:13 -0700)
committerDavid Anderson <davea42@earthlink.net>
Sat, 14 Jun 2014 16:13:11 +0000 (09:13 -0700)
commit610d1a9636574eed08daf3046246afff15c9d9e9
treed4f48882c693399af4ef64f0072b8fc84bfe8f03
parentc1f394728f31239a4def62b95c844f4541aaa176
tools:
fileio.py has new functions for referb.py
refer.py  modified so it works on current tex

referb.py New. Similar to refer.py but each file made
    into a single token list which is more general.
    Not yet working, but so far refer.py suffices.
dwarf5/tools/fileio.py
dwarf5/tools/refer.py
dwarf5/tools/referb.py [new file with mode: 0644]