update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 6 Aug 2013 17:57:33 +0000 (10:57 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 6 Aug 2013 17:57:33 +0000 (10:57 -0700)
commit0f0de03774e76123900873513602ff70be6d9be5
tree6bf1c8cf9e4b07108a929154066f1efdd62b9a00
parent03e96cc338b5237e15fce73e9423526969ee768a
update from texinfo
build-aux/texinfo.tex