update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 23 Jan 2003 18:40:15 +0000 (18:40 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 23 Jan 2003 18:40:15 +0000 (18:40 +0000)
commita9cbc6468f03efe70aa0d46a32e554d1dd21f6f9
treec80fecd459ae1647dcdc77c618c2b558f598782f
parentfdaa9692bae9ae2a12d719c8597ece44cf2c25dc
update from texinfo
config/texinfo.tex