update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 9 Feb 2004 23:23:26 +0000 (23:23 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 9 Feb 2004 23:23:26 +0000 (23:23 +0000)
commit22f6f2fd94e03228d9c02924252423ffd53db7a5
treebb71111836dfb5f63443234e33c839bca168a0a0
parentd944c86c3fbc08fa144ab4d5f20aa204631d7a2f
update from texinfo
config/texinfo.tex