diff options
Diffstat (limited to 'tex/context/base/grph-fil.lua')
-rw-r--r-- | tex/context/base/grph-fil.lua | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tex/context/base/grph-fil.lua b/tex/context/base/grph-fil.lua index c1532ce25..5b091b265 100644 --- a/tex/context/base/grph-fil.lua +++ b/tex/context/base/grph-fil.lua @@ -57,6 +57,8 @@ end -- +local done = { } + function jobfiles.context(name,options) if type(name) == "table" then local result = { } @@ -65,8 +67,12 @@ function jobfiles.context(name,options) end return result else - jobfiles.run(name,"context ".. (options or "") .. " " .. name) - return file.replacesuffix(name,"pdf") + local result = file.replacesuffix(name,"pdf") + if not done[result] then + jobfiles.run(name,"context ".. (options or "") .. " " .. name) + done[result] = true + end + return result end end |