diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2019-07-14 18:16:13 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2019-07-14 18:16:13 +0000 |
commit | 8cc896a79402294b6337ffe1e4ed4eb10b98a81f (patch) | |
tree | 2b9f230fb75a6d3d293c57d5d64b0a0bb132b5bf /mandoc.h | |
parent | 1f0bb6771eec829cff55c66f3cff4e6db37e950b (diff) | |
download | mandoc-8cc896a79402294b6337ffe1e4ed4eb10b98a81f.tar.gz |
If messages are shown and output is printed without a pager, display
a heads-up on stderr at the end because otherwise, users may easily
miss the messages: because messages typically occur while parsing,
they typically preceed the output. This is most useful with flag
combinations like "-c -W all" but may also help in some unusual
error scenarios.
Inconvenient ordering of output originally pointed out by espie@
for the example situation that /tmp/ is not writeable.
Diffstat (limited to 'mandoc.h')
-rw-r--r-- | mandoc.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -309,6 +309,7 @@ enum mandoclevel mandoc_msg_getrc(void); void mandoc_msg_setrc(enum mandoclevel); void mandoc_msg(enum mandocerr, int, int, const char *, ...) __attribute__((__format__ (__printf__, 4, 5))); +void mandoc_msg_summary(void); void mchars_alloc(void); void mchars_free(void); int mchars_num2char(const char *, size_t); |