update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 27 Jan 2003 13:19:58 +0000 (13:19 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 27 Jan 2003 13:19:58 +0000 (13:19 +0000)
commitf41ea585f353dfc759d35d19a88787ec3e260f8d
tree735676bbe7da0820e6bf428ed36bfb0dda531f8c
parentba0dd2a81e29392ac1fbbc8e07188dadf466e11a
update from texinfo
config/texinfo.tex