update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 2 Jul 2007 22:21:02 +0000 (22:21 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 2 Jul 2007 22:21:02 +0000 (22:21 +0000)
commite05c3e67d762e53fcfe90c921ad111a525896dde
tree7bdcd3d57457a0d84b219b8b37a9e182df7897d4
parentdaf3106a21e2919852a05b1024d02a2e0ad5ba4e
update from texinfo
build-aux/texinfo.tex