[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

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)

Re: [help-texinfo] convert texi into tex

[Karl Berry]

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

:)

Sure, but it wouldn't work to do:

  ... (la)tex stuff ...

  \input texinfo.tex
  ... texinfo stuff ...

  ... more (la)tex stuff ...

The definitions in texinfo.tex will certainly screw up anything
following -- the parsing is completely different, starting with a
different escape character (@ instead of \).  You can't just put the
texinfo stuff in a group because there are tons of global definitions
(and need to be).

latex and texinfo will certainly collide too, so that's out.

I've never actually tried making a document with just plain tex stuff
before, and then read texinfo.tex in the middle.  I imagine the page
numbers, at least, would be messed up, but it might ultimately be
workable.  I rather suspect the OP was thinking latex though.

Cheers,
karl