texinfo:  typeset Texinfo files for printing. Uses TeX.