]> git.ipfire.org Git - thirdparty/man-pages.git/commitdiff
lint-man.mk: lint-man-mandoc: Silence warnings about '\\'
authorAlejandro Colomar <alx@kernel.org>
Thu, 9 Mar 2023 16:04:05 +0000 (17:04 +0100)
committerAlejandro Colomar <alx@kernel.org>
Thu, 9 Mar 2023 16:09:16 +0000 (17:09 +0100)
There are false positives in tzdb pages.

Signed-off-by: Alejandro Colomar <alx@kernel.org>
lib/lint-man.mk

index 6a0cd4184ebcbf1a352ac7b7e8092a8baac9b70a..e0f72d3034c0f1bfe64aec0c083bb836ab8e6bb5 100644 (file)
@@ -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