update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 20 Jun 2007 20:28:21 +0000 (20:28 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 20 Jun 2007 20:28:21 +0000 (20:28 +0000)
commit11dbc24bbfd94e0e8d36754fe17bb1fdeb58fe5e
treef3e5eae7ab3b8e49fba32d9a248f796aace8ae3b
parentb1d12d5389daf62f0199a6a05dabbc3f4a6be5d4
update from texinfo
build-aux/texinfo.tex