diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-06-15 15:45:25 +0200 |
---|---|---|
committer | Klaus Aehlig <aehlig@linta.de> | 2023-06-16 10:35:46 +0200 |
commit | ccba5d03a51f2630fd396b66c2bc6937bf39b963 (patch) | |
tree | f4ed0865250dd45f46270741b7710ae632b6e0d2 /pandoc | |
parent | 4a78406fcda1e6b66860fe3fea0977125b0aa736 (diff) | |
download | rules-typesetting-ccba5d03a51f2630fd396b66c2bc6937bf39b963.tar.gz |
Support execution properties for typesetting actions
... in order to allow a specialized typesetting image to be used,
so that the (potentially large) typesetting dependencies do not
have to be installed in the normal build images.
Diffstat (limited to 'pandoc')
-rw-r--r-- | pandoc/RULES | 11 |
1 files changed, 10 insertions, 1 deletions
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"} + } } ] ] |