diff options
Diffstat (limited to 'scripts/context/lua/mtx-profile.lua')
| -rw-r--r-- | scripts/context/lua/mtx-profile.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-profile.lua b/scripts/context/lua/mtx-profile.lua index 11d48d039..e9a69762b 100644 --- a/scripts/context/lua/mtx-profile.lua +++ b/scripts/context/lua/mtx-profile.lua @@ -154,7 +154,7 @@ end --~ scripts.profiler.analyse("t:/manuals/mk/mk-fonts-profile.lua") --~ scripts.profiler.analyse("t:/manuals/mk/mk-introduction-profile.lua") -logs.extendbanner("ConTeXt MkIV LuaTeX Profiler 1.00",true) +logs.extendbanner("ConTeXt MkIV LuaTeX Profiler 1.00") messages.help = [[ --analyse analyse lua calls |