summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlejandro Colomar <alx@kernel.org>2023-04-28 17:04:35 +0200
committerAlejandro Colomar <alx@kernel.org>2023-04-28 17:04:35 +0200
commitd52ff90035ceedfab4d34b4316b94519a0864e21 (patch)
tree90f50fc6bd19ae6f2a2d8e11259f6f6fdcc894da
parent36a1abd84d1fa887050c687e6285ea0707e0a6a1 (diff)
*.mk: lint-mdoc-mandoc: Silence warning about referenced manuals not found
Signed-off-by: Alejandro Colomar <alx@kernel.org>
-rw-r--r--share/mk/lint/man/mdoc.mk1
1 files changed, 1 insertions, 0 deletions
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 ' \
||:; \
) \