update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 5 Oct 2003 12:34:51 +0000 (12:34 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 5 Oct 2003 12:34:51 +0000 (12:34 +0000)
commit788642ef7bde5eaeb5738af5f2e74142735b34c9
tree59c117c1ec62cabb6e1c74537f6f2a833178f697
parentd6a093438c4aa9043eacadd9de676cfff948db51
update from texinfo
config/texinfo.tex