diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-05-25 11:48:47 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-05-25 11:48:47 +0200 |
commit | 8b678f473da7b81842dbc13b50c6303991570521 (patch) | |
tree | 53bc0e1c76c99a32011118c8941bab7b6e9b91df /scripts/context/lua/mtx-modules.lua | |
parent | caee9d5ac3c65f78671a9786318358cd647247eb (diff) | |
download | context-8b678f473da7b81842dbc13b50c6303991570521.tar.gz |
2019-05-25 10:53:00
Diffstat (limited to 'scripts/context/lua/mtx-modules.lua')
-rw-r--r-- | scripts/context/lua/mtx-modules.lua | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/context/lua/mtx-modules.lua b/scripts/context/lua/mtx-modules.lua index 78e1418fd..60427c086 100644 --- a/scripts/context/lua/mtx-modules.lua +++ b/scripts/context/lua/mtx-modules.lua @@ -22,8 +22,8 @@ local helpinfo = [[ <flags> <category name="basic"> <subcategory> - <flag name="convert"><short>convert source files (tex, mkii, mkiv, mp) to 'ted' files</short></flag> - <flag name="process"><short>process source files (tex, mkii, mkiv, mp) to 'pdf' files</short></flag> + <flag name="convert"><short>convert source files (tex, mkii, mkiv, mp, etc.) to 'ted' files</short></flag> + <flag name="process"><short>process source files (tex, mkii, mkiv, mp, etc.) to 'pdf' files</short></flag> <flag name="prep"><short>use original name with suffix 'prep' appended</short></flag> <flag name="direct"><short>use old method instead of extra</short></flag> </subcategory> @@ -163,7 +163,12 @@ local function source_to_ted(inpname,outname,filetype) return true end -local suffixes = table.tohash { 'tex', 'mkii', 'mkiv', 'mkvi', 'mp', 'mpii', 'mpiv' } +local suffixes = table.tohash { + "tex", + "mkii", + "mkiv", "mkvi", "mkil", "mkli", + "mp", "mpii", "mpiv", +} function scripts.modules.process(runtex) local processed = { } |