update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 31 Oct 2004 15:00:30 +0000 (15:00 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 31 Oct 2004 15:00:30 +0000 (15:00 +0000)
commitfbc4259ca5c86fa2f6fc35d49645e465b0cc45d9
tree95424ea6224c922724001f537b2efbd0c43d2927
parent0418b14758822f990cec21f057c3aec058f80793
update from texinfo
config/texinfo.tex