update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 11 Sep 2013 16:29:59 +0000 (09:29 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 11 Sep 2013 16:29:59 +0000 (09:29 -0700)
commitf0aab227265173908ecaa2353de6cf791cec3304
tree0bd308d74a1e673b4b2b140860a7e3d0d93f098e
parent97799ab308e774e51358fe216d41a0f822c0c9d6
update from texinfo
build-aux/texinfo.tex