update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 28 Oct 2008 18:31:58 +0000 (11:31 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 28 Oct 2008 18:31:58 +0000 (11:31 -0700)
commitfc0ab1da1495a25fe2f46bc896a4ceac7ac5d7f3
tree25331dfcf9701c238cc2ccc8dfbedbe0415b1e04
parent9903ce8582d50b6cd5338dd9ca06b674da7a6c36
update from texinfo
build-aux/texinfo.tex