update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 15 Dec 2008 19:03:00 +0000 (11:03 -0800)
committerKarl Berry <karl@freefriends.org>
Mon, 15 Dec 2008 19:03:00 +0000 (11:03 -0800)
commitd1f370aafaebefe53eb8c59908306c1170e25988
tree344e3666d4c3c30758d5024985e69c4546482139
parent5054b237f381ee7e21f59a629b23b7e42faed472
update from texinfo
build-aux/texinfo.tex