Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- !config
- arguments:
- - default: '--ini'
- flag: '@{ isTrue(parameters.ini, ''--ini'') }'
- identifier: ini
- - flag: --margins @{parameters.margins}
- identifier: margins
- commands:
- - command: pdfcrop @{margins} @{ getBasename(file) }.pdf @{ getBasename(file) }-tmp.pdf
- - command: '@{"cmd /c del"} @{ getBasename(file) }-tmp.pdf'
- identifier: pdfcrop
- name: PDFcrop
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement