update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 16 Nov 2003 17:49:08 +0000 (17:49 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 16 Nov 2003 17:49:08 +0000 (17:49 +0000)
commitca9d6bc12f9398341f0598c31ffe9b1219926d71
tree64693050a320a8434de4e0229dc20eacad3ec7ca
parent63c2d1ba5a19f02faa78e8c2307b2b6077ebfe1a
update from texinfo
config/texinfo.tex