diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/lollipop.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/lollipop.tlpsrc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/lollipop.tlpsrc b/Master/tlpkg/tlpsrc/lollipop.tlpsrc new file mode 100644 index 00000000000..67412443a8c --- /dev/null +++ b/Master/tlpkg/tlpsrc/lollipop.tlpsrc @@ -0,0 +1,17 @@ +binpattern f bin/${ARCH}/lollipop +execute AddFormat name=lollipop engine=pdftex \ + options="-translate-file=cp227.tcx *lollipop.ini" +# +binpattern f bin/${ARCH}/lualollipop +execute AddFormat name=lualollipop engine=luatex \ + options="lualollipop.ini" +# +binpattern f bin/${ARCH}/xelollipop +execute AddFormat name=xelollipop engine=pdftex \ + options="xelollipop.ini" +# +# leave dvi formats disabled, users can set \pdfoutput=0. +execute AddFormat name=dvilollipop mode=disabled engine=pdftex \ + options="-translate-file=cp227.tcx *lollipop.ini" +execute AddFormat name=dvilualollipop mode=disabled engine=luatex \ + options="-translate-file=cp227.tcx lualollipop.ini" |