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 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 |