update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 12 Jan 2003 20:10:11 +0000 (20:10 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 12 Jan 2003 20:10:11 +0000 (20:10 +0000)
commitc3055b2a97516212633dd03911dc15a5e8f7df73
tree375d583a93fc37f0c8c4df10c1b8e9d483d77fc1
parent6915136bee53f6a15b62419016aaf715f44b5f37
update from texinfo
config/texinfo.tex