pertu...@free.fr wrote:
> On Tue, Dec 20, 2022 at 02:00:18AM -0700, arn...@skeeve.com wrote:
> > Does makeinfo generate LaTeX these days?
>
> Yes, and we'd welcome feedback, in particular on customization of the
> LaTeX output.
>
> > Can that be done for TeX and Info?
>
> It is done for all the texi2any output formats:
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=6de28d2066040582e983ba1f7db609598011e99d
>
> --
> Pat
Lovely! Looking forward to seeing it in texinfo.tex also. Then
once it's formally released, I will switch the gawk manual over to it.
WRT makeinfo --latex, I need to go through the manual and add
appropriate @iflatex / @ifnotlatex stuff and then try to format it.
I've never used latex. I assume the sequence is something like
makeinfo --latex gawk.texi # should have no errors / warnings
latex gawk.tex
latex gawk.tex # second time for xrefs and indexing
dvi2ps gawk.dvi gawk.ps
ps2pdf gawk.ps gawk.pdf
If not, what's the right incantation(s)?
Thanks!
Arnold
