update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 8 Oct 2003 19:38:51 +0000 (19:38 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 8 Oct 2003 19:38:51 +0000 (19:38 +0000)
commitc112e1b00e1cdf0eca472b0e064cbbaad05c5c67
tree3b688c28b0a04f9518b52b844701eb01a16579c4
parent66682319e726f004904626b39cda7d4a7d2f269d
update from texinfo
config/texinfo.tex