about summary refs log tree commit diff homepage
path: root/Makefile
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2019-02-19 16:57:19 -0500
committerJune McEnroe <june@causal.agency>2019-02-19 16:57:19 -0500
commitedaad5da06a71ed9597d21fa17dce0c9fe5dbbb5 (patch)
tree135311d5c11fb5c07712815c9c496060bb5a936b /Makefile
parentReplace Makefile with portable one (diff)
downloadzlib-man-pages-edaad5da06a71ed9597d21fa17dce0c9fe5dbbb5.tar.gz
zlib-man-pages-edaad5da06a71ed9597d21fa17dce0c9fe5dbbb5.zip
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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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