Typeset Texinfo files for printing. Uses TeX.