lint-man.mk: lint-man-mandoc: Silence warnings about the date

Yes, mandoc(1), I know the date is not a date, it's a placeholder to be
filled at 'make dist' time.  Let's be friends :)

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

diff --git a/lib/lint-man.mk b/lib/lint-man.mk
index 1fc3435608411538a6cc373e2a105599cec11691..b6b427031638c022878f379a84ec6b1a5c12cb2d 100644 (file)
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -84,7 +84,11 @@ $(_LINT_man_groff): $(_LINTDIR)/%.lint-man.groff.touch: $(MANDIR)/% | $$(@D)/.
 
 $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
        $(info LINT (mandoc)    $@)
-       $(MANDOC) $(MANDOCFLAGS) $<
+       ! ($(MANDOC) $(MANDOCFLAGS) $< 2>&1 \
+          | $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
+          ||:; \
+       ) \
+       | $(GREP) '.' >&2
        touch $@