update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 23 Jun 2013 23:49:41 +0000 (16:49 -0700)
committerKarl Berry <karl@freefriends.org>
Sun, 23 Jun 2013 23:49:41 +0000 (16:49 -0700)
commitf40e61ea0c4940b027aade7dd48948aa93f133a4
treed52e0ff102ee9e9be45d769c29c0a9c5639f2445
parent7062e7a704fdff060759163a9c8a987604af3550
update from texinfo
build-aux/texinfo.tex