update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 16 Dec 2008 19:50:34 +0000 (11:50 -0800)
committerKarl Berry <karl@freefriends.org>
Tue, 16 Dec 2008 19:50:34 +0000 (11:50 -0800)
commit8c77ce7a58e2117eb7b3619df4f696f216b2c943
tree962e1833d6a24c552621df33fac25f87c62c4960
parent4f75b1aeb0a9be9ba7dba91435aec7d87f0718cb
update from texinfo
build-aux/texinfo.tex