diff options
| -rw-r--r-- | lib/lint-man.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk index 93c1ef8a0e..72b2b3ed92 100644 --- a/lib/lint-man.mk +++ b/lib/lint-man.mk @@ -73,7 +73,7 @@ $(_LINT_man_groff): $(_LINTDIR)/%.lint-man.groff.touch: $(MANDIR)/% | $$(@D)/. | $(TROFF) $(TROFFFLAGS) \ | $(GROTTY) $(GROTTYFLAGS) \ | $(COL) $(COLFLAGS) \ - | (! grep -n '.\{80\}.') + | (! $(GREP) -n '.\{80\}.') touch $@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/. |