diff options
| -rw-r--r-- | Makefile | 2 |
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 |