lint-man.mk: lint-man-mandoc: Silence warnings about empty UR blocks

That's a perfectly fine man(7) construct.

Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/lib/lint-man.mk b/lib/lint-man.mk
index 48962dcb0ede0bdf1f2afbca41a315babfacf3df..175a66b8357f92811ede4db4cd8f15d90bbde4d2 100644 (file)
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -87,6 +87,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
        ! ($(MANDOC) $(MANDOCFLAGS) $< 2>&1 \
           | $(GREP) -v 'STYLE: lower case character in document title:' \
           | $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
+          | $(GREP) -v 'WARNING: empty block: UR' \
           ||:; \
        ) \
        | $(GREP) '.' >&2