update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 10 Jul 2007 00:24:34 +0000 (00:24 +0000)
committerKarl Berry <karl@freefriends.org>
Tue, 10 Jul 2007 00:24:34 +0000 (00:24 +0000)
commitac0f9231fdd9e4f6e8954dec88b5b6cab0748526
treeffc46e9016c9dce1359d30858182312831bab3fc
parent3e531ad7a6d38e5dffa1dc1036bb6033bd9d0123
update from texinfo
build-aux/texinfo.tex