update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 29 Jan 2004 12:18:12 +0000 (12:18 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 29 Jan 2004 12:18:12 +0000 (12:18 +0000)
commit51b53d976470d4252c2e2a65e704fa65e58c7736
tree0c8d66ee803c308e56a1ff6c11023e2b3c9ced5a
parent6f156d7cf99ea3793b0acb5a02b5cf6da6a10d33
update from texinfo
config/texinfo.tex