update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 21 Oct 2008 23:52:50 +0000 (16:52 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 21 Oct 2008 23:52:50 +0000 (16:52 -0700)
commita96e9fe510ca18b33701bb26b44983b5036d6d62
tree12287ae7313384e28b2e9609e28b34cb3dda5f2a
parent1c52cbc43c09a8ce5744a54c8f5f3ef61c26765a
update from texinfo
build-aux/texinfo.tex