update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 22 Sep 2003 13:41:32 +0000 (13:41 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 22 Sep 2003 13:41:32 +0000 (13:41 +0000)
commit04c8d4d02e81e631fa6073f074ae410362ea0c47
tree472637701f5f886f039f281fa05aa1e090c0f0c7
parentb4836e37e55dff890be3b686f4f36cc1f4fe185e
update from texinfo
config/texinfo.tex