1 files changed, 3 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();
 }