diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-07-31 18:26:52 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-07-31 18:26:52 +0200 |
| commit | 1873d112b56f49e40ece29916ede51933412bca8 (patch) | |
| tree | 1ad98a73dfbf2f1a98703f31e0df9e0cdf4f260c /tex/context/base/mkiv/file-job.lua | |
| parent | 47852e5715e7c0374bb6bc173c1728908549e1ed (diff) | |
| download | context-1873d112b56f49e40ece29916ede51933412bca8.tar.gz | |
2019-07-31 18:13:00
Diffstat (limited to 'tex/context/base/mkiv/file-job.lua')
| -rw-r--r-- | tex/context/base/mkiv/file-job.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/file-job.lua b/tex/context/base/mkiv/file-job.lua index 486aee63a..fd9a5a120 100644 --- a/tex/context/base/mkiv/file-job.lua +++ b/tex/context/base/mkiv/file-job.lua @@ -172,8 +172,8 @@ implement { -- moved from tex to lua: -local texpatterns = { "%s.mkvi", "%s.mkiv", "%s.tex" } -local luapatterns = { "%s" .. utilities.lua.suffixes.luc, "%s.lua" } +local texpatterns = { "%s.mkvi", "%s.mkiv", "%s.mklx", "%s.mkxl", "%s.tex" } +local luapatterns = { "%s" .. utilities.lua.suffixes.luc, "%s.lua", "%s.lmt" } local cldpatterns = { "%s.cld" } local xmlpatterns = { "%s.xml" } |