diff options
| author | Alejandro Colomar <alx@kernel.org> | 2022-11-10 00:03:27 +0100 |
|---|---|---|
| committer | Alejandro Colomar <alx@kernel.org> | 2022-11-10 00:36:12 +0100 |
| commit | 100953c7a0697eb56d9d2d7f77ea224248304f86 (patch) | |
| tree | ab6a634ba7b630c4347eb844013c9789e4b5736c | |
| parent | 3c9ee2e918223361e5216333dc3cf301a0767e76 (diff) | |
| download | man-pages-100953c7a0697eb56d9d2d7f77ea224248304f86.tar.gz | |
lint-man.mk: lint-man-mandoc: Silence warnings about the date
Yes, mandoc(1), I know the date is not a date, it's a placeholder to be
filled at 'make dist' time. Let's be friends :)
Signed-off-by: Alejandro Colomar <alx@kernel.org>
| -rw-r--r-- | lib/lint-man.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk index 1fc3435608..b6b4270316 100644 --- a/lib/lint-man.mk +++ b/lib/lint-man.mk @@ -84,7 +84,11 @@ $(_LINT_man_groff): $(_LINTDIR)/%.lint-man.groff.touch: $(MANDIR)/% | $$(@D)/. $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/. $(info LINT (mandoc) $@) - $(MANDOC) $(MANDOCFLAGS) $< + ! ($(MANDOC) $(MANDOCFLAGS) $< 2>&1 \ + | $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \ + ||:; \ + ) \ + | $(GREP) '.' >&2 touch $@ |