diff options
Diffstat (limited to 'tex/context/base/core-ctx.lua')
| -rw-r--r-- | tex/context/base/core-ctx.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/core-ctx.lua b/tex/context/base/core-ctx.lua index 7c6cef07a..4dbff3663 100644 --- a/tex/context/base/core-ctx.lua +++ b/tex/context/base/core-ctx.lua @@ -18,13 +18,13 @@ function commands.loadctxpreplist() local x = xml.load(ctlname) if x then islocal = xml.found(x,"ctx:preplist[@local=='yes']") - if trace_prepfiles then +--~ if trace_prepfiles then if islocal then commands.writestatus("systems","loading ctx log file (local)") -- todo: m!systems else commands.writestatus("systems","loading ctx log file (specified)") -- todo: m!systems end - end +--~ end for r, d, k in xml.elements(x,"ctx:prepfile") do local dk = d[k] local name = xml.content(dk) |