diff options
author | Norbert Preining <norbert@preining.info> | 2021-02-27 03:01:43 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-02-27 03:01:43 +0000 |
commit | 4e6fb7c03bc033485887a99d2ffeca70ef8c0644 (patch) | |
tree | 5a337396041659a71d6da3f68367402d5c4e7dfe /support/arara/scripts/rules/platex.yaml | |
parent | 8b1159ba65d4003e969141fb034abbdc19e27c4b (diff) |
CTAN sync 202102270301
Diffstat (limited to 'support/arara/scripts/rules/platex.yaml')
-rw-r--r-- | support/arara/scripts/rules/platex.yaml | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/support/arara/scripts/rules/platex.yaml b/support/arara/scripts/rules/platex.yaml deleted file mode 100644 index edf5d4864b..0000000000 --- a/support/arara/scripts/rules/platex.yaml +++ /dev/null @@ -1,60 +0,0 @@ -!config -# Arara, the cool TeX automation tool -# Copyright (c) 2020, Island of TeX -# All rights reserved. -# -# This rule is part of arara. -identifier: platex -name: pLaTeX -authors: -- Island of TeX -commands: -- name: pLaTeX engine - command: > - @{ - return getCommand(branch, interaction, shell, - synctex, options, reference.getName()); - } -arguments: -- identifier: branch - flag: > - @{ - engines = [ 'stable' : 'platex', 'developer' : 'platex-dev' ]; - if (engines.keySet().contains(parameters.branch)) { - return engines.get(parameters.branch); - } else { - throwError('The valid branch values are: ' + engines.keySet()); - } - } - default: 'platex' -- identifier: interaction - flag: > - @{ - if ([ 'batchmode', 'nonstopmode', 'scrollmode', - 'errorstopmode' ].contains(parameters.interaction)) { - return '--interaction='.concat(parameters.interaction); - } - else { - throwError('The provided interaction value is not valid.'); - } - } -- identifier: shell - flag: > - @{ - isTrue(parameters.shell, '--shell-escape', '--no-shell-escape') - } -- identifier: synctex - flag: > - @{ - isTrue(parameters.synctex, '--synctex=1', '--synctex=0') - } -- identifier: options - flag: > - @{ - if (isList(parameters.options)) { - return parameters.options; - } - else { - throwError('I was expecting a list of options.'); - } - } |