diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/lollipop.tlpsrc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/lollipop.tlpsrc b/Master/tlpkg/tlpsrc/lollipop.tlpsrc index 67412443a8c..37d93b3ce3b 100644 --- a/Master/tlpkg/tlpsrc/lollipop.tlpsrc +++ b/Master/tlpkg/tlpsrc/lollipop.tlpsrc @@ -7,8 +7,8 @@ execute AddFormat name=lualollipop engine=luatex \ options="lualollipop.ini" # binpattern f bin/${ARCH}/xelollipop -execute AddFormat name=xelollipop engine=pdftex \ - options="xelollipop.ini" +execute AddFormat name=xelollipop engine=xetex \ + options="-etex xelollipop.ini" # # leave dvi formats disabled, users can set \pdfoutput=0. execute AddFormat name=dvilollipop mode=disabled engine=pdftex \ |