diff options
| -rw-r--r-- | lib/lint-man.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk index 48962dcb0e..175a66b835 100644 --- a/lib/lint-man.mk +++ b/lib/lint-man.mk @@ -87,6 +87,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/. ! ($(MANDOC) $(MANDOCFLAGS) $< 2>&1 \ | $(GREP) -v 'STYLE: lower case character in document title:' \ | $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \ + | $(GREP) -v 'WARNING: empty block: UR' \ ||:; \ ) \ | $(GREP) '.' >&2 |