Re: [help-texinfo] convert texi into tex

[Kendall Shaw]

On Tue, 2008-01-29 at 15:33 -0600, Karl Berry wrote:
> 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.

Err, isn't a texinfo file already a TeX file? (He says to TeXnician Karl
Berry)