diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/ptex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index b70343ea004..52d2f7a7258 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -1,14 +1,15 @@ depend ptex-base depend ptex-fonts -tlpsetvar fmtcomm cm,hyphen-base,knuth-lib,plain,ptex-base,ptex-fonts +tlpsetvar fmtcomm cm,hyphen-base,knuth-lib,plain,\ +ptex-base,ptex-fonts # execute AddFormat name=ptex engine=ptex options="ptex.ini" \ fmttriggers=${fmtcomm} # execute AddFormat name=eptex engine=eptex options="*eptex.ini" \ patterns=language.def \ - fmttriggers=${fmtcomm},etex + fmttriggers=${fmtcomm},dehyph-exptl,etex # execute addKanjiMap ptex-@jaEmbed@@jaVariant@.map |