update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 2 Oct 2002 00:29:19 +0000 (00:29 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 2 Oct 2002 00:29:19 +0000 (00:29 +0000)
commit1bb8cb70f5271120ecc1f88dd58fb5b79b84353d
tree233b7523c1f1fb958dc0cc5344f14ef265d2ba0e
parentb846ca5f1e2fd868ff7b314cbd2446dd7b2e1782
update from texinfo
config/texinfo.tex