summaryrefslogtreecommitdiff
path: root/pandoc
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2023-06-15 15:45:25 +0200
committerKlaus Aehlig <aehlig@linta.de>2023-06-16 10:35:46 +0200
commitccba5d03a51f2630fd396b66c2bc6937bf39b963 (patch)
treef4ed0865250dd45f46270741b7710ae632b6e0d2 /pandoc
parent4a78406fcda1e6b66860fe3fea0977125b0aa736 (diff)
downloadrules-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/RULES11
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"}
+ }
}
]
]