David P James <dpjames@rogers.com> writes: > In case this matters, tetex-bin and tetex-base are installed. Install tetex-extra, I think. -- Alan Shutko <ats@acm.org> - In a variety of flavors! "Yeeaahh, I'm def-in-ate-ly an excellent Super Hero...-Sewer Urchin