update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 13 Sep 2013 14:02:33 +0000 (07:02 -0700)
committerKarl Berry <karl@freefriends.org>
Fri, 13 Sep 2013 14:02:33 +0000 (07:02 -0700)
commite1b3f99f2776cc04d44039a7b4e344a311bf0c3a
tree0773f5c5dd9a4ebaa690931c01c827bed85c2fa2
parentf0aab227265173908ecaa2353de6cf791cec3304
update from texinfo
build-aux/texinfo.tex