summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/platex.tlpsrc4
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/platex.tlpsrc b/Master/tlpkg/tlpsrc/platex.tlpsrc
index 22f6cbccfda..57b0b6a2132 100644
--- a/Master/tlpkg/tlpsrc/platex.tlpsrc
+++ b/Master/tlpkg/tlpsrc/platex.tlpsrc
@@ -2,7 +2,9 @@ tlpsetvar fmtcomm ${global_latex_deps},ptex-fonts
#
## TL'23 will use euptex in legacy encoding mode for platex(-dev)
## but for a while "euptex for platex-dev" / "eptex for platex"
-execute AddFormat name=platex engine=eptex options="*platex.ini" \
+## [2023-06-09] switch from eptex to euptex also for platex.
+## with LaTeX2e 2023-06-01.
+execute AddFormat name=platex engine=euptex options="*platex.ini" \
patterns=language.dat \
fmttriggers=${fmtcomm},latex
#