Yes, that's the reason he started writing TeX. But I think the
older editions were not typeset with TeX yet. I have the
impression I read somewhere that he gave his original books,
together with all his corrections, for someone to typeset
in TeX for the new editions. I could be wrong.