update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 7 Oct 2003 12:58:45 +0000 (12:58 +0000)
committerKarl Berry <karl@freefriends.org>
Tue, 7 Oct 2003 12:58:45 +0000 (12:58 +0000)
commit93abe6fc4218eb6d26cf9274e0d8aca8b67e6165
tree7086096dd8716164749f6566f1357420b04f768a
parentca5a3d4bdf362673b822713d7fd994c8053aeeeb
update from texinfo
config/texinfo.tex