update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 1 Jul 2007 22:23:03 +0000 (22:23 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 1 Jul 2007 22:23:03 +0000 (22:23 +0000)
commit3b97e67ce8433ce4a54c0b61bd10b3cd0debc24a
treefdf2abee84ee2916b8d36f86d6d61ad87d53a52b
parent9fc71e3134cb03ab99ba9ff6e7f4459cb5294f3f
update from texinfo
build-aux/texinfo.tex