update from texinfo
authorKarl Berry <karl@freefriends.org>
Sat, 25 Oct 2008 16:03:05 +0000 (09:03 -0700)
committerKarl Berry <karl@freefriends.org>
Sat, 25 Oct 2008 16:03:05 +0000 (09:03 -0700)
commit6832f7f0e4244a9874ddd0474904801a7a14e91a
tree7c1f382e768dee187e8216f87d3c3d653d65ce9a
parent712387a8796296eb291be0ac0a1eb9b0b6585e7f
update from texinfo
build-aux/texinfo.tex