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