Re: [help-texinfo] convert texi into tex

[Karl Berry]

    I enjoy using texinfo for my manuals, but I'm wondering whether it is
    possible to get .tex files from .texi (to include a manual in a
    document written in tex).

I'm not aware of any texinfo-to-tex converter.

About the best I can think of would be to process the manual standalone
into a pdf, then include the pdf in your tex document.

Happy documenting,
karl