diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-06-13 09:56:22 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-06-13 09:56:22 +0200 |
commit | 204057fdc5023b5f4ff55a69bc6593388ea427e7 (patch) | |
tree | 2153d525f1fb854189772d3109be782a0aeb14fd /doc/context/scripts/mkiv/context.xml | |
parent | 7686a24f79edfef2a9d013882c822c76a12e23dc (diff) | |
download | context-204057fdc5023b5f4ff55a69bc6593388ea427e7.tar.gz |
2018-06-12 21:56:00
Diffstat (limited to 'doc/context/scripts/mkiv/context.xml')
-rw-r--r-- | doc/context/scripts/mkiv/context.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/context/scripts/mkiv/context.xml b/doc/context/scripts/mkiv/context.xml index 9003b549a..c4d634443 100644 --- a/doc/context/scripts/mkiv/context.xml +++ b/doc/context/scripts/mkiv/context.xml @@ -70,6 +70,9 @@ <flag name="silent" value="list"> <short>disable logcatgories (show list with <ref name="showlogcategories"/>)</short> </flag> + <flag name="strip"> + <short>strip Lua code (only meant for production where no errors are expected)</short> + </flag> <flag name="errors" value="list"> <short>show errors at the end of a run, quit when in list (also when <ref name="--silent"/>)</short> </flag> |