update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 19 Aug 2004 13:53:22 +0000 (13:53 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 19 Aug 2004 13:53:22 +0000 (13:53 +0000)
commit74a31df6d436b2b6ef9b73b9edca47bb3100ad14
tree60520f81f79b80aef12b4d7518fe857cd8b1342f
parentec354b13bec21d8510dd60e1e129cc194809248b
update from texinfo
config/texinfo.tex