update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 23 Oct 2003 14:11:57 +0000 (14:11 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 23 Oct 2003 14:11:57 +0000 (14:11 +0000)
commit79cfd9ebe62b1ec70da20c0ed8947535d7638089
tree30ca3dea160553c71955a5603c9e0f77a4546c00
parent7a6310aa214fdd6af809eb96ec7956be78ff5df9
update from texinfo
config/texinfo.tex