Re: Move from TeTeX to TeXLive