update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 26 Jul 2004 13:08:34 +0000 (13:08 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 26 Jul 2004 13:08:34 +0000 (13:08 +0000)
commita2379d2c536eb51aabe8f3fca3a5fa1a6dd20d96
tree86876c54bb844540992129a772a6868a4e627bbb
parent0df2580e13bb5523b7f5569e9bec1fda9c812677
update from texinfo
config/texinfo.tex