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.
Diffstat (limited to '')
| -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 |