update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 5 Jan 2012 15:20:01 +0000 (07:20 -0800)
committerKarl Berry <karl@freefriends.org>
Thu, 5 Jan 2012 15:20:01 +0000 (07:20 -0800)
commit48a6eef08fe6e4e62b0ec705cd41fe7658eb96fb
treefef6c626d6a6c0bf5ff8728ac8c74603120185ae
parent109d8dc7f58c58552f3440d0a19873eb6d30e677
update from texinfo
build-aux/texinfo.tex