diff options
| author | Alejandro Colomar <alx.manpages@gmail.com> | 2022-08-28 13:30:42 +0200 |
|---|---|---|
| committer | Alejandro Colomar <alx.manpages@gmail.com> | 2022-08-28 14:02:39 +0200 |
| commit | 123df84eb1241c5ea2f086ccfc91e2a124e495ab (patch) | |
| tree | 25271473b53be43d8214c14bdcadf0ea4d8cb108 | |
| parent | 27d3818d8c6cc64bfdece1633c98e4082f977cdc (diff) | |
lint-man.mk: Redirect groff output to stderr
groff(1) is being used to warn.
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
| -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 df377df04..6d35843a3 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)/. |