Parameters:

patch_file: the patch file. Default: $(in_patch).

patch_tex_orig: the TeX file without user changes, as generated on the step “LaTeX from TeXML”. Default is $(pretex_out).

patch_tex_copy: the TeX file without user changes, after copying or applying the patch to $(pretex_out). Default is $(patch_tex).copy.

patch_tex: the TeX file with user changes. Default: $(tmpdir)/(basename $(patch_tex_orig). For example, if $(patch_text_orig) is file.tex.orig, then $(patch_tex) is file.tex.

patch_tex_rej: the list of failed patch hunks. Default, can't be changed: $(patch_tex).rej.

patch_error: lock-file to indicate patching failure. Default: $(tmpdir)/$(basename $(patch_file)).patch-lock

patch_error_message: text of notification about errors. Default: “File $(patch_tex) is patched with problems. Correct the rejections manually, delete the file $(patch_error) and re-run generation.”

patch_reminder_message: text of notification about user-made changes. Default: “TeX code in $(patch_tex) was changed. Consider generating a patch.”