summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/ptex.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/ptex.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/ptex.tlpsrc5
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