update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 18:42:31 +0000 (18:42 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 18:42:31 +0000 (18:42 +0000)

No differences found