]> git.ipfire.org Git - thirdparty/man-pages.git/commitdiff
*.mk: lint-mdoc-mandoc: Silence warning about referenced manuals not found
authorAlejandro Colomar <alx@kernel.org>
Fri, 28 Apr 2023 15:04:35 +0000 (17:04 +0200)
committerAlejandro Colomar <alx@kernel.org>
Fri, 28 Apr 2023 15:04:35 +0000 (17:04 +0200)
Signed-off-by: Alejandro Colomar <alx@kernel.org>
share/mk/lint/man/mdoc.mk

index 56abb418f18a2f328134c743462c567b1b82b4a4..3b77b240608f6f0c9aac0b5199a86e6f42f97b51 100644 (file)
@@ -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 ' \
           ||:; \
        ) \