diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/jadetex.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/jadetex.tlpsrc b/Master/tlpkg/tlpsrc/jadetex.tlpsrc index 9cc5305de27..11f34b997b0 100644 --- a/Master/tlpkg/tlpsrc/jadetex.tlpsrc +++ b/Master/tlpkg/tlpsrc/jadetex.tlpsrc @@ -14,7 +14,7 @@ execute AddFormat name=jadetex engine=pdftex patterns=language.dat \ # execute AddFormat name=pdfjadetex engine=pdftex patterns=language.dat \ options="*pdfjadetex.ini" \ - fmttriggers=${fmtcomm},pdftex-def + fmttriggers=${fmtcomm},graphics-def binpattern f bin/${ARCH}/jadetex binpattern f bin/${ARCH}/pdfjadetex |