update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 9 Nov 2008 18:30:25 +0000 (10:30 -0800)
committerKarl Berry <karl@freefriends.org>
Sun, 9 Nov 2008 18:30:25 +0000 (10:30 -0800)
commitd124d4a00d9b464841e574fb5bc55d5bbb8853fc
tree49b0dbba2c65d417d87afd660eea17b1b31df7aa
parent12dd13c8f1795f557f0c3da73f255285b5e29881
update from texinfo
build-aux/texinfo.tex