DWARF Git Projects / dwarf-doc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1f3947) | patch
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
treed4f48882c693399af4ef64f0072b8fc84bfe8f03tree | snapshot
parentc1f394728f31239a4def62b95c844f4541aaa176commit | diff
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 diff | blob | history
dwarf5/tools/refer.py diff | blob | history
dwarf5/tools/referb.py [new file with mode: 0644] blob
DWARF document repository