update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 6 Feb 2004 16:22:18 +0000 (16:22 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 6 Feb 2004 16:22:18 +0000 (16:22 +0000)
commitd944c86c3fbc08fa144ab4d5f20aa204631d7a2f
treeb4ce70909e134d917705586f75d235a644621abf
parentb7e6e912afdc00a5a8df93251b7bb5bc2f159d7d
update from texinfo
config/texinfo.tex