diff options
| author | June McEnroe <june@causal.agency> | 2019-02-19 16:57:19 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-02-19 16:57:19 -0500 |
| commit | edaad5da06a71ed9597d21fa17dce0c9fe5dbbb5 (patch) | |
| tree | 135311d5c11fb5c07712815c9c496060bb5a936b | |
| parent | Replace Makefile with portable one (diff) | |
| download | zlib-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.
| -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 |