diff options
| author | Alejandro Colomar <alx@kernel.org> | 2023-04-28 16:52:00 +0200 |
|---|---|---|
| committer | Alejandro Colomar <alx@kernel.org> | 2023-04-28 16:52:08 +0200 |
| commit | 36a1abd84d1fa887050c687e6285ea0707e0a6a1 (patch) | |
| tree | 6a2815d1d9269574385f819de9cd97aa3a254047 | |
| parent | 5074888fc8330403df8446840817afe98daa356a (diff) | |
*.mk: lint-mdoc-mandoc: Silence warnings about ISO 8601 format in the date
ISO 8601 is the standard way to express a date. Don't warn about it.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
| -rw-r--r-- | share/mk/lint/man/mdoc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/mk/lint/man/mdoc.mk b/share/mk/lint/man/mdoc.mk index fd0925ab8..56abb418f 100644 --- a/share/mk/lint/man/mdoc.mk +++ b/share/mk/lint/man/mdoc.mk @@ -25,6 +25,7 @@ lint_mdoc := $(foreach x,$(linters_mdoc),lint-mdoc-$(x)) $(_LINT_mdoc_mandoc): $(_MANDIR)/%.lint-mdoc.mandoc.touch: $(MANDIR)/% | $$(@D)/ $(info LINT (mandoc) $@) ! ($(MANDOC) -mdoc $(MANDOCFLAGS) $< 2>&1 \ + | $(GREP) -v 'STYLE: legacy man(7) date format: Dd ' \ | $(GREP) -v 'STYLE: lower case character in document title: Dt ' \ | $(GREP) -v 'STYLE: operating system explicitly specified: Os ' \ | $(GREP) -v 'WARNING: cross reference to self: Xr ' \ |