update from texinfo
authorKarl Berry <karl@freefriends.org>
Sat, 25 Oct 2003 16:40:01 +0000 (16:40 +0000)
committerKarl Berry <karl@freefriends.org>
Sat, 25 Oct 2003 16:40:01 +0000 (16:40 +0000)
commit73c74da6d226be20d214caa0a645e9007c281fa0
tree73d00d99542e920f25318e59bdf4115554218621
parenta4b276197ae44ab7b531470c184d5254901eda21
update from texinfo
config/texinfo.tex