more archman updates
authoradam <adam@megacz.com>
Tue, 28 Aug 2007 08:57:10 +0000 (09:57 +0100)
committeradam <adam@megacz.com>
Tue, 28 Aug 2007 08:57:10 +0000 (09:57 +0100)
commit20e2056f1af4e3a1c10eb1e95a0bc8ee4e870159
treee2676bf5058a01a883d4debd4c24a04019b77abe
parent744c3754c063519e9d2fcb56b96b75dcf81db4dd
more archman updates
doc/archman.tex
doc/toolchain.tex