update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 18 Oct 2002 21:05:28 +0000 (21:05 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 18 Oct 2002 21:05:28 +0000 (21:05 +0000)
commitc1f4b368a66402836de4cc8dd5019a57e40aa4ec
tree3bfefbbee9bf5be043fbf9d483c88e619d7c5ffe
parent1bb8cb70f5271120ecc1f88dd58fb5b79b84353d
update from texinfo
config/texinfo.tex