update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 18 Jan 2004 00:36:15 +0000 (00:36 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 18 Jan 2004 00:36:15 +0000 (00:36 +0000)
commita71d819e38fb9d4f41735f4b5f44fbb52ab74c2a
tree6133880ad39d7871420847dce69c0b932277a5b5
parent0ad5dfdf100fa61c3315d9511a330d721dd0b6e5
update from texinfo
config/texinfo.tex