Short name: “pdf” or “dvi”.

Again, two very similar steps with the difference only in the names of parameters (dvi_xxx vs pdf_xxx).

Parameters:

pdf_in: input file. Default: $(tmppdf_out).

pdf_out: output file. Default: $(outdir)/$(basename $(pdf_in)).

Actions:

If the file $(patch_error) exists, go to step “Patch Work, Problems”.

Otherwise, copy $(pdf_in) to $(pdf_out).