diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-05-07 11:47:12 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-05-07 11:47:12 +0200 |
commit | 352a2686282e95b2869728f8f321688f7e216d80 (patch) | |
tree | a0cd6d8cd35aaf6c51632307786e4083e25c0df8 /doc/context/scripts/mkiv/context.man | |
parent | 3d0fae7aaf79674a41d2bdaf5b3c2a3a4d8113db (diff) | |
download | context-352a2686282e95b2869728f8f321688f7e216d80.tar.gz |
2020-05-07 11:00:00
Diffstat (limited to 'doc/context/scripts/mkiv/context.man')
-rw-r--r-- | doc/context/scripts/mkiv/context.man | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/context/scripts/mkiv/context.man b/doc/context/scripts/mkiv/context.man index 9b23bd88b..23d986903 100644 --- a/doc/context/scripts/mkiv/context.man +++ b/doc/context/scripts/mkiv/context.man @@ -77,6 +77,9 @@ generate html error page instead (optional: =scite) .B --noconsole disable logging to the console (logfile only) .TP +.B --nodummy +don't create a dummy file (can confuse pdf viewers that keep file in view) +.TP .B --purgeresult purge result file before run .TP |