update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 16 Jun 2004 23:28:56 +0000 (23:28 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 16 Jun 2004 23:28:56 +0000 (23:28 +0000)
commite8ced0d79a5259d798d86ddec104b24ddf59faf1
tree201064540be25ea0a33effd70197927f34687399
parent9e387ab4569ff62d00c05efcd14826ca9df0deb2
update from texinfo
config/texinfo.tex