diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-06-10 16:38:16 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-06-10 16:38:16 +0200 |
commit | bd8f4d00a5ba1af56451821cd1db1c12c22f5419 (patch) | |
tree | 4dffba85530d56d31a05684c7c071b77d163371a /tex/context/base/mkiv/mlib-run.lua | |
parent | 93dccfc40625a754b372edd228724969b28e4342 (diff) | |
download | context-bd8f4d00a5ba1af56451821cd1db1c12c22f5419.tar.gz |
2018-06-10 15:49:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-run.lua')
-rw-r--r-- | tex/context/base/mkiv/mlib-run.lua | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tex/context/base/mkiv/mlib-run.lua b/tex/context/base/mkiv/mlib-run.lua index ae1c589e8..9369e9db0 100644 --- a/tex/context/base/mkiv/mlib-run.lua +++ b/tex/context/base/mkiv/mlib-run.lua @@ -30,7 +30,6 @@ nears zero.</p> --ldx]]-- local type, tostring, tonumber, next = type, tostring, tonumber, next -local gsub, match, find = string.gsub, string.match, string.find local striplines = utilities.strings.striplines local concat, insert, remove = table.concat, table.insert, table.remove @@ -209,22 +208,6 @@ end -- todo: random_seed -local f_textext = formatters[ [[rawtextext("%s")]] ] - -function metapost.maketext(s,mode) - if mode and mode == 1 then - if trace_btexetex then - report_metapost("ignoring verbatimtex: [[%s]]",s) - end - else - if trace_btexetex then - report_metapost("handling btex ... etex: [[%s]]",s) - end - s = gsub(s,'"','"&ditto&"') - return f_textext(s) - end -end - local seed = nil function metapost.load(name,method) |