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/TARGETS | |
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/TARGETS')
0 files changed, 0 insertions, 0 deletions