update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 25 Nov 2002 19:09:44 +0000 (19:09 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 25 Nov 2002 19:09:44 +0000 (19:09 +0000)
commit80531278832cd68316b2b2f5509a2672f695187d
treeea3f520db011f5175e92921db43d9e6d2fca03f5
parent5e5d9c4f5b3673d85efeeb6fafbfd2379501f274
update from texinfo
config/texinfo.tex