update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 31 Oct 2002 01:01:19 +0000 (01:01 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 31 Oct 2002 01:01:19 +0000 (01:01 +0000)
commit4f40e7088d722d37d5dec8d350668b1add797fb2
treed9083f5b36985f02182b7bac90bbefc86eb39d0b
parent9d420c41c0917158ea402f8bfe1da4aabfb3a9c2
update from texinfo
config/texinfo.tex