> is it time to get rid of MakeTeXPK? Good idea. I have done this in my tree and will do the same with TeX Live later. mktexpk is still there and I really doubt that we really need MakeTeXPK any more. Thomas