diff options
| author | Karl Berry <karl@freefriends.org> | 2016-04-13 22:30:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2016-04-13 22:30:20 +0000 |
| commit | b9b0dce9293c9bd6d12ff53d088dfdb8fd33fef5 (patch) | |
| tree | f968612769077b5f00a5d7bbc1bae35c7466d607 /Master | |
| parent | b9b417030377e161a8e9a259bb04cd5bc27773dd (diff) | |
doc,regen,sync
git-svn-id: svn://tug.org/texlive/trunk@40492 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/tlpkg/tlpsrc/luatex.tlpsrc | 2 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/mflua.tlpsrc | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/Master/tlpkg/tlpsrc/luatex.tlpsrc b/Master/tlpkg/tlpsrc/luatex.tlpsrc index 07d72ed5bb0..b7088f705ea 100644 --- a/Master/tlpkg/tlpsrc/luatex.tlpsrc +++ b/Master/tlpkg/tlpsrc/luatex.tlpsrc @@ -11,7 +11,7 @@ execute AddFormat name=dviluatex engine=luatex options="dviluatex.ini" \ fmttriggers=${fmtdeps} # # On platforms where there is no luajittex, it will be ignored -# due to special options in fmtutil and TLConfig.pm. +# due to special options in fmtutil, TLConfig.pm, tlmgr. execute AddFormat name=luajittex engine=luajittex options="luatex.ini" \ patterns=language.def,language.dat.lua \ fmttriggers=${fmtdeps},pdftex diff --git a/Master/tlpkg/tlpsrc/mflua.tlpsrc b/Master/tlpkg/tlpsrc/mflua.tlpsrc index 5b183aac723..e474287580d 100644 --- a/Master/tlpkg/tlpsrc/mflua.tlpsrc +++ b/Master/tlpkg/tlpsrc/mflua.tlpsrc @@ -5,8 +5,9 @@ tlpsetvar fmtdeps luatex,metafont # disabled just until rebuilds for start_of_mf.lua are done. execute AddFormat name=mflua engine=mflua-nowin options="mf.ini" \ fmttriggers=${fmtdeps} mode=disabled -# -# (mfluajit not ready) + +# (mfluajit not worth the complications this year; see luatex.tlpsrc for +# references.) runpattern d texmf-dist/scripts/mflua |