Short name: “pretex”.

Parameters:

pretex_in: input TeXML file. Default: $(texml_out).

pretex_out: output LaTeX file. Default: $(tmpdir)/$(basename $(pretex_in)).tex.orig.

pretex_params: list of parameters, for example: “['--encoding utf8', '-a']”. Default: None.

Action:

Execute the TeXML processor to convert $(pretex_in) to $(pretex_out).