update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 24 Oct 2003 01:59:31 +0000 (01:59 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 24 Oct 2003 01:59:31 +0000 (01:59 +0000)
commitf638b5bed17cd18e2aded42fb921dc1c5a0a6601
tree1c1c693ef0acfc87d1d9b178e9b5432f8e76aebc
parentcb0ff6fd5914e7b0e9272324422fe7c725bfd5a0
update from texinfo
config/texinfo.tex