infosrc: the source to the makeinfo program [OPT] latex: latex, the documentation preparation system [OPT] texmanpg: TeX man pages [OPT] texpk: TeX pk fonts [OPT]