* doc/texinfo.tex: updated to newer version
commitc564d9aee8b9e834d137068bc6fa5c35a1e9648a
authorkevind <kevind>
Tue, 18 Jan 2000 09:02:20 +0000 (18 09:02 +0000)
committerkevind <kevind>
Tue, 18 Jan 2000 09:02:20 +0000 (18 09:02 +0000)
treebd9e210d56127aefd55ac89b460b0187f796aae5
parente84f4ae9ada69d9df2c44621ce6681b586f91c25
* doc/texinfo.tex: updated to newer version
doc/texinfo.tex