update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 5 Jun 2012 21:44:59 +0000 (14:44 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 5 Jun 2012 21:44:59 +0000 (14:44 -0700)
commit33f823397dbb0edb57503f2f6dad2362456bc6a9
treee71e7ae077d99180ded46b213ad575382684ffc7
parentf6c2431e873d1c9972f97cb610ab26491d626410
update from texinfo
build-aux/texinfo.tex