diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/latex-bin.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-bin.tlpsrc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-bin.tlpsrc b/Master/tlpkg/tlpsrc/latex-bin.tlpsrc index 2faaf4ddacb..b44d303849e 100644 --- a/Master/tlpkg/tlpsrc/latex-bin.tlpsrc +++ b/Master/tlpkg/tlpsrc/latex-bin.tlpsrc @@ -31,14 +31,6 @@ execute AddFormat name=lualatex engine=luatex \ patterns=language.dat,language.dat.lua \ options="lualatex.ini" \ fmttriggers=${fmtcomm},${luafmtdeps} -# -# 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" \ - fmttriggers=${fmtcomm},${luafmtdeps} docpattern f texmf-dist/doc/man/man1/latex.* docpattern f texmf-dist/doc/man/man1/dvilualatex.* |