From 67dcc2e5b969bc3dc00fcdd852cb6fd4ed9a2107 Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Sun, 14 Jul 2019 18:16:13 +0000 Subject: 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. --- mandoc.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'mandoc.h') diff --git a/mandoc.h b/mandoc.h index ac518431..4a7e7aa7 100644 --- a/mandoc.h +++ b/mandoc.h @@ -1,4 +1,4 @@ -/* $Id: mandoc.h,v 1.263 2019/07/10 19:39:01 schwarze Exp $ */ +/* $Id: mandoc.h,v 1.264 2019/07/14 18:16:13 schwarze Exp $ */ /* * Copyright (c) 2010, 2011, 2014 Kristaps Dzonsons * Copyright (c) 2012-2019 Ingo Schwarze @@ -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); -- cgit v1.2.3-56-ge451