update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 19 Feb 2004 17:08:02 +0000 (17:08 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 19 Feb 2004 17:08:02 +0000 (17:08 +0000)
commit6edd3a51b8bf2522a4a70d2225ba6d026ee98898
treecd7e8575feab454706f60b45efb964f2975a28b6
parent6a27e77475115f5bc44a9a2afee1ea3a7ad8e5d0
update from texinfo
config/texinfo.tex