From edaad5da06a71ed9597d21fa17dce0c9fe5dbbb5 Mon Sep 17 00:00:00 2001
From: Curtis McEnroe <june@causal.agency>
Date: Tue, 19 Feb 2019 16:57:19 -0500
Subject: Filter out reference errors from lint

Kind of dumb that it only checks in what it thinks is the system man
path and not the current directory at all.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index dbbaa0c..80098bb 100644
--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ MLINKS += inflateReset.3 inflateReset2.3
 MLINKS += uncompress.3 uncompress2.3
 
 lint:
-	mandoc -T lint $(MAN)
+	mandoc -T lint $(MAN) | grep -v 'referenced manual not found'
 
 install:
 	install -d $(MANDIR)/man3
-- 
cgit 1.4.1