Short name: “texml”.

Parameters:

texml_in: input XML file. Default: $(pp_out).

texml_out: output TeXML file. Default: $(tmpdir)/$(basename $(texml_in)).texml.

texml_xslt: XSLT script to convert XML to TeXML. Default: $(in_xslt).

texml_params: an associative array of parameters to the XSLT program. Default: None.

Action:

Run XSLT processor to transform $(texml_in) to $(texml_out) with help of the XSLT program $(texml_xslt).