update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 2 Dec 2003 14:45:29 +0000 (14:45 +0000)
committerKarl Berry <karl@freefriends.org>
Tue, 2 Dec 2003 14:45:29 +0000 (14:45 +0000)
commit9e1598c386f6018c2882596b57b96c8df3b6599c
tree7bb3f816013a9901a3e0d70f625424981eacb307
parent501444464f31564fc20c3dc266e3a778cba64a24
update from texinfo
config/texinfo.tex