diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/luatex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/luatex.tlpsrc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/tlpkg/tlpsrc/luatex.tlpsrc b/Master/tlpkg/tlpsrc/luatex.tlpsrc index 7bb70fa3d13..24f5da1ddd5 100644 --- a/Master/tlpkg/tlpsrc/luatex.tlpsrc +++ b/Master/tlpkg/tlpsrc/luatex.tlpsrc @@ -7,9 +7,10 @@ execute AddFormat \ name=dviluatex engine=luatex patterns=language.def,language.dat.lua \ options="dviluatex.ini" # -execute AddFormat \ - name=luajittex engine=luajittex patterns=language.def,language.dat.lua \ - options="luatex.ini" +# luajittex is not going to exist on all platforms. hmm. +#execute AddFormat \ +# name=luajittex engine=luajittex patterns=language.def,language.dat.lua \ +# options="luatex.ini" # docpattern d texmf-dist/doc/luatex/base docpattern f texmf-dist/doc/man/man1/luatex.* |