aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlejandro Colomar <alx@kernel.org>2022-11-10 00:11:59 +0100
committerAlejandro Colomar <alx@kernel.org>2022-11-10 00:37:42 +0100
commit6bb53a30af9960b30ca58bb62002da926f853c81 (patch)
tree5cece1c6fb710a146b1872db60ff3b6e5719817d
parent892417c94e432d5c66902a4c53f7ce4f9c066eaf (diff)
downloadman-pages-6bb53a30af9960b30ca58bb62002da926f853c81.tar.gz
lint-man.mk: lint-man-mandoc: Silence warnings about unsupported tbl(1) features
It's bad that the features are not supported, but we can do nothing about it but wait. Let's silence the warnings. 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 175a66b835..5402429a86 100644
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -86,6 +86,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
$(info LINT (mandoc) $@)
! ($(MANDOC) $(MANDOCFLAGS) $< 2>&1 \
| $(GREP) -v 'STYLE: lower case character in document title:' \
+ | $(GREP) -v 'UNSUPP: ignoring macro in table:' \
| $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
| $(GREP) -v 'WARNING: empty block: UR' \
||:; \