aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlejandro Colomar <alx@kernel.org>2022-11-10 00:10:26 +0100
committerAlejandro Colomar <alx@kernel.org>2022-11-10 00:37:10 +0100
commit892417c94e432d5c66902a4c53f7ce4f9c066eaf (patch)
tree5fa90cfcfbb7e18a28da1499bd829f86c00c285f
parent4896a4f8c4b8e5903213b2427b7a636480de4bfe (diff)
downloadman-pages-892417c94e432d5c66902a4c53f7ce4f9c066eaf.tar.gz
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>
-rw-r--r--lib/lint-man.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk
index 48962dcb0e..175a66b835 100644
--- 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