update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 4 May 2003 15:50:20 +0000 (15:50 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 4 May 2003 15:50:20 +0000 (15:50 +0000)
commitfae9ac9c510dc14ef6878063c2b356dace58b583
treeec05ca62f0b2413a2ae95e7a11227bd9f6838374
parent36ac5163cc0dfa69a6a9a3ae9d2b5162c7654497
update from texinfo
config/texinfo.tex