Reuben Thomas <r...@sc3d.org> writes:
> The section “@LaTeX{} and PDF export” says:
>
> The
> default @LaTeX{} output is designed for processing with @code{pdftex} or
> @LaTeX{}
>
> The last “@LaTeX{}” should presumably be “@code{latex}”.Thanks. Fixed in 5fe3a68. —Rasmus -- What will be next?
