diff options
| -rw-r--r-- | lib/lint-man.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk index 1fc3435608..b6b4270316 100644 --- 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 $@ |