3 files changed, 13 insertions, 1 deletions
diff --git a/main.c b/main.c
index b59310dd..51ba58bc 100644
--- a/main.c
+++ b/main.c
@@ -727,7 +727,9 @@ out:
 			signum = WSTOPSIG(status);
 		}
 		tag_unlink();
-	}
+	} else if (curp.outtype != OUTT_LINT)
+		mandoc_msg_summary();
+
 	return (int)mandoc_msg_getrc();
 }
 
diff --git a/mandoc.h b/mandoc.h
index 12385ec9..54751350 100644
--- a/mandoc.h
+++ b/mandoc.h
@@ -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);
diff --git a/mandoc_msg.c b/mandoc_msg.c
index 4299f2b8..15e4de01 100644
--- a/mandoc_msg.c
+++ b/mandoc_msg.c
@@ -355,3 +355,12 @@ mandoc_msg(enum mandocerr t, int line, int col, const char *fmt, ...)
 	}
 	fputc('\n', fileptr);
 }
+
+void
+mandoc_msg_summary(void)
+{
+	if (fileptr != NULL && rc != MANDOCLEVEL_OK)
+		fprintf(fileptr,
+		    "%s: see above the output for %s messages\n",
+		    getprogname(), level_name[rc]);
+}