aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlejandro Colomar <alx@kernel.org>2023-03-09 17:04:05 +0100
committerAlejandro Colomar <alx@kernel.org>2023-03-09 17:09:16 +0100
commit349832ffe8147a004d7ec1d565e47a806c5c8bd7 (patch)
treeaa13e7c0d68411cf07cff032010880f3412ec34c
parente73e78f59ac4c4bccbde512230f0dfca96e8aebb (diff)
downloadman-pages-349832ffe8147a004d7ec1d565e47a806c5c8bd7.tar.gz
lint-man.mk: lint-man-mandoc: Silence warnings about '\\'
There are false positives in tzdb pages. 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 6a0cd4184e..e0f72d3034 100644
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -91,6 +91,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
| $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
| $(GREP) -v 'WARNING: empty block: UR' \
| $(GREP) -v 'WARNING: missing date, using "": TH' \
+ | $(GREP) -v 'WARNING: undefined escape, printing literally: \\\\' \
||:; \
) \
| $(GREP) '.' >&2