example, sometimes I want a different paper size from
the default (a4 or small), like a5 or any other. I do not
There are commands to set the paper size (@afourpaper among others).
use other fonts than the default ones. Again it seems too
True, that's hard, have to hack texinfo.tex. There are patches to
switch it to using PostScript fonts ... But not at the document level.
hard to be accomplished with texinfo. So I was wondering
with it is possible to convert a texinfo doc to LaTeX,
I don't know of any program to convert .texi to latex, but given the
highly compatible nature, it seems like a couple judicious
search-replaces should do most of the job.
Good luck,
