diff options
| -rw-r--r-- | latex/EXPRESSIONS | 6 | ||||
| -rw-r--r-- | latex/RULES | 12 | ||||
| -rw-r--r-- | pandoc/RULES | 11 |
3 files changed, 26 insertions, 3 deletions
diff --git a/latex/EXPRESSIONS b/latex/EXPRESSIONS index 640f587..6b33e64 100644 --- a/latex/EXPRESSIONS +++ b/latex/EXPRESSIONS @@ -10,6 +10,7 @@ , "runner type" , "opts" , "output file extension" + , "TYPESETTING_EXECUTION_PROPERTIES" ] , "expression": { "type": "let*" @@ -182,6 +183,11 @@ ] , "cmd": {"type": "var", "name": "cmd"} , "env": {"type": "var", "name": "env"} + , "execution properties": + { "type": "var" + , "name": "TYPESETTING_EXECUTION_PROPERTIES" + , "default": {"type": "empty_map"} + } } ] , [ "output file" diff --git a/latex/RULES b/latex/RULES index d3e6679..ac6c9c9 100644 --- a/latex/RULES +++ b/latex/RULES @@ -20,13 +20,17 @@ , "of a .tex file in \"srcs\"; the \"stage\" is prepended automatically." ] } - , "config_vars": ["env", "latex"] + , "config_vars": ["env", "latex", "TYPESETTING_EXECUTION_PROPERTIES"] , "config_doc": { "latex": ["Name of the latex command, defaults to \"pdflatex\"."] , "env": [ "Any override to the default environment which sets only" , "PATH and SOURCE_DATE_EPOCH" ] + , "TYPESETTING_EXECUTION_PROPERTIES": + [ "Map of additional remote-execution properties to add for the typesetting" + , "actions; defaults to the empty map." + ] } , "implicit": {"runner": ["latex_runner.sh"]} , "imports": @@ -200,13 +204,17 @@ , "If omitted, \".pdf\" is assumed." ] } - , "config_vars": ["env", "latexmk"] + , "config_vars": ["env", "latexmk", "TYPESETTING_EXECUTION_PROPERTIES"] , "config_doc": { "env": [ "Any override to the default environment which sets only" , "PATH and SOURCE_DATE_EPOCH" ] , "latexmk": ["Name of the latexmk command, defaults to \"latexmk\"."] + , "TYPESETTING_EXECUTION_PROPERTIES": + [ "Map of additional remote-execution properties to add for the typesetting" + , "actions; defaults to the empty map." + ] } , "imports": {"call latex": "call latex"} , "expression": diff --git a/pandoc/RULES b/pandoc/RULES index ffd62c6..e91ec49 100644 --- a/pandoc/RULES +++ b/pandoc/RULES @@ -168,12 +168,16 @@ , "meta data files": ["Additional meta data files to be taken into account"] } - , "config_vars": ["env"] + , "config_vars": ["env", "TYPESETTING_EXECUTION_PROPERTIES"] , "config_doc": { "env": [ "Any override to the default environment which sets only" , "PATH, SOURCE_DATE_EPOCH, and TEXINPUTS" ] + , "TYPESETTING_EXECUTION_PROPERTIES": + [ "Map of additional remote-execution properties to add for the typesetting" + , "actions; defaults to the empty map." + ] } , "implicit": {"metadata": [["./", ".", "metadata"]]} , "imports": @@ -472,6 +476,11 @@ , {"type": "var", "name": "src names"} ] } + , "execution properties": + { "type": "var" + , "name": "TYPESETTING_EXECUTION_PROPERTIES" + , "default": {"type": "empty_map"} + } } ] ] |