]> git.ipfire.org Git - thirdparty/man-pages.git/commitdiff
lint-man.mk: Redirect groff output to stderr
authorAlejandro Colomar <alx.manpages@gmail.com>
Sun, 28 Aug 2022 11:30:42 +0000 (13:30 +0200)
committerAlejandro Colomar <alx.manpages@gmail.com>
Sun, 28 Aug 2022 12:02:39 +0000 (14:02 +0200)
groff(1) is being used to warn.

Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
lib/lint-man.mk

index df377df04a73a72f7031c06c747001e02b763098..6d35843a353d18e33225431aafe6c7875f6e2c3e 100644 (file)
@@ -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)/.