From: Alejandro Colomar Date: Sun, 28 Aug 2022 11:30:42 +0000 (+0200) Subject: lint-man.mk: Redirect groff output to stderr X-Git-Tag: man-pages-6.00~120 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=123df84eb1241c5ea2f086ccfc91e2a124e495ab;p=thirdparty%2Fman-pages.git lint-man.mk: Redirect groff output to stderr groff(1) is being used to warn. Signed-off-by: Alejandro Colomar --- diff --git a/lib/lint-man.mk b/lib/lint-man.mk index df377df04a..6d35843a35 100644 --- a/lib/lint-man.mk +++ b/lib/lint-man.mk @@ -75,7 +75,7 @@ $(_LINT_man_groff): $(_LINTDIR)/%.lint-man.groff.touch: $(MANDIR)/% | $$(@D)/. | $(TROFF) $(TROFFFLAGS) \ | $(GROTTY) $(GROTTYFLAGS) \ | $(COL) $(COLFLAGS) \ - | (! $(GREP) -n '.\{$(MANWIDTH)\}.') + | (! $(GREP) -n '.\{$(MANWIDTH)\}.' >&2) touch $@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.