diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/latex-bin.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-bin.tlpsrc | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-bin.tlpsrc b/Master/tlpkg/tlpsrc/latex-bin.tlpsrc index c516a9b7be8..03a1ee9155f 100644 --- a/Master/tlpkg/tlpsrc/latex-bin.tlpsrc +++ b/Master/tlpkg/tlpsrc/latex-bin.tlpsrc @@ -26,8 +26,9 @@ execute AddFormat name=lualatex engine=luatex \ docpattern f texmf-dist/doc/man/man1/latex.* docpattern f texmf-dist/doc/man/man1/pdflatex.* # -# disabled luajitlatex format (just PDF until someone wants DVI?): -#binpattern f bin/${ARCH}/luajitlatex -#execute AddFormat name=luajitlatex mode=disabled engine=luajittex \ -# patterns=language.dat,language.dat.lua \ -# options="lualatex.ini" +# disabled-by-default luajitlatex format for experimentation +# (just PDF until someone wants DVI?): +binpattern f bin/${ARCH}/luajitlatex +execute AddFormat name=luajitlatex mode=disabled engine=luajittex \ + patterns=language.dat,language.dat.lua \ + options="lualatex.ini" |