diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/aleph.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/aleph.tlpsrc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/aleph.tlpsrc b/Master/tlpkg/tlpsrc/aleph.tlpsrc index 18cfb81920e..57a082173f5 100644 --- a/Master/tlpkg/tlpsrc/aleph.tlpsrc +++ b/Master/tlpkg/tlpsrc/aleph.tlpsrc @@ -8,7 +8,8 @@ execute AddFormat name=aleph engine=aleph options=*aleph.ini \ fmttriggers=${fmtcomm},knuth-lib,plain execute AddFormat name=lamed engine=aleph patterns=language.dat \ options=*lambda.ini \ - fmttriggers=${fmtcomm},antomega,lambda,latex,latex-fonts,omega + fmttriggers=${fmtcomm},antomega,lambda,\ +latex,latex-fonts,omega,l3kernel binpattern f bin/${ARCH}/aleph binpattern f bin/${ARCH}/lamed |