[help-texinfo] convert texi into tex

[Romain Quey]

Dear all,

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).

Thanks for all.

Cheers,

Romain Quey