diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 0fb4bf5cb29..3c18afaf1b3 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -10,7 +10,7 @@ execute AddFormat name=ptex engine=ptex options="ptex.ini" execute AddFormat name=eptex engine=eptex options="*eptex.ini" \ patterns=language.def execute AddFormat name=platex engine=eptex options="*platex.ini" \ - patterns=language.ptx + patterns=language.dat execute addKanjiMap ptex-@kanjiEmbed@@kanjiVariant@.map execute addKanjiMap morisawa.map # |