Typeset Texinfo files for printing. Uses TeX