update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 21 Sep 2003 20:21:06 +0000 (20:21 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 21 Sep 2003 20:21:06 +0000 (20:21 +0000)
commitb4836e37e55dff890be3b686f4f36cc1f4fe185e
tree9e5f6509cab50372f3842a60a21601cf98b174d7
parentdf308e3fc0bbea8e50977ab1e86e4ddf124606d8
update from texinfo
config/texinfo.tex