update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 15 Jan 2004 19:26:38 +0000 (19:26 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 15 Jan 2004 19:26:38 +0000 (19:26 +0000)
commit43bc4e8db7cc36f66b9164edcc6f82dd73348a0e
tree44418f3d98b2e84608d84000dd26ad0c674525f4
parentbd5a3f231e6a6806ca967c3a1f9ff6fafa90e52a
update from texinfo
config/texinfo.tex