update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 7 Mar 2003 20:17:01 +0000 (20:17 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 7 Mar 2003 20:17:01 +0000 (20:17 +0000)
commitfb38223637af267d288eaff210ef616edaa494e7
treefb6e4bb1e363ac2e6472e23344f2082e7c472dc2
parent4d217158cf62fd3dfeb782969438b62c572a7f37
update from texinfo
config/texinfo.tex