update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 15 Feb 2004 17:34:06 +0000 (17:34 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 15 Feb 2004 17:34:06 +0000 (17:34 +0000)
commit08c914d1797613718a56ec5f4a6e2ee105c7241c
tree796b0969b34e174265e7e43e37a83d34fe5e08b9
parent4d0c0493c4b2788ae1b4543805e00e4f8d679f50
update from texinfo
config/texinfo.tex