From d52ff90035ceedfab4d34b4316b94519a0864e21 Mon Sep 17 00:00:00 2001 From: Alejandro Colomar Date: Fri, 28 Apr 2023 17:04:35 +0200 Subject: *.mk: lint-mdoc-mandoc: Silence warning about referenced manuals not found Signed-off-by: Alejandro Colomar --- share/mk/lint/man/mdoc.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/share/mk/lint/man/mdoc.mk b/share/mk/lint/man/mdoc.mk index 56abb418f..3b77b2406 100644 --- a/share/mk/lint/man/mdoc.mk +++ b/share/mk/lint/man/mdoc.mk @@ -28,6 +28,7 @@ $(_LINT_mdoc_mandoc): $(_MANDIR)/%.lint-mdoc.mandoc.touch: $(MANDIR)/% | $$(@D)/ | $(GREP) -v 'STYLE: legacy man(7) date format: Dd ' \ | $(GREP) -v 'STYLE: lower case character in document title: Dt ' \ | $(GREP) -v 'STYLE: operating system explicitly specified: Os ' \ + | $(GREP) -v 'STYLE: referenced manual not found: Xr ' \ | $(GREP) -v 'WARNING: cross reference to self: Xr ' \ ||:; \ ) \ -- cgit v1.2.3