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]
