update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 16 Oct 2008 00:51:16 +0000 (17:51 -0700)
committerKarl Berry <karl@freefriends.org>
Thu, 16 Oct 2008 00:51:16 +0000 (17:51 -0700)
commit0d84deee32855f0f9b7df4f5d456712793e2797e
tree1a63f652b617c6e845051ab816a1881799e4a151
parentceb82aa30f0b017db4ffa03801dc29b7c82cbde0
update from texinfo
build-aux/texinfo.tex