Hi Paul,
I silenced two of the warnings mandoc(1) was throwing in tzdb pages:
commit 349832ffe8147a004d7ec1d565e47a806c5c8bd7 (HEAD -> main)
Author: Alejandro Colomar <alx@xxxxxxxxxx>
Date: Thu Mar 9 17:04:05 2023 +0100
lint-man.mk: lint-man-mandoc: Silence warnings about '\\'
There are false positives in tzdb pages.
Signed-off-by: Alejandro Colomar <alx@xxxxxxxxxx>
diff --git a/lib/lint-man.mk b/lib/lint-man.mk
index 6a0cd4184..e0f72d303 100644
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -91,6 +91,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
| $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
| $(GREP) -v 'WARNING: empty block: UR' \
| $(GREP) -v 'WARNING: missing date, using "": TH' \
+ | $(GREP) -v 'WARNING: undefined escape, printing literally: \\\\' \
||:; \
) \
| $(GREP) '.' >&2
commit e73e78f59ac4c4bccbde512230f0dfca96e8aebb
Author: Alejandro Colomar <alx@xxxxxxxxxx>
Date: Thu Mar 9 16:59:50 2023 +0100
lint-man.mk: lint-man-mandoc: Silence warnings about missing date
tzdb pages have no date it them. Don't warn about that.
Signed-off-by: Alejandro Colomar <alx@xxxxxxxxxx>
diff --git a/lib/lint-man.mk b/lib/lint-man.mk
index 8e66291cc..6a0cd4184 100644
--- a/lib/lint-man.mk
+++ b/lib/lint-man.mk
@@ -90,6 +90,7 @@ $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% | $$(@D)/.
| $(GREP) -v 'UNSUPP: ignoring macro in table:' \
| $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
| $(GREP) -v 'WARNING: empty block: UR' \
+ | $(GREP) -v 'WARNING: missing date, using "": TH' \
||:; \
) \
| $(GREP) '.' >&2
------
Now I've got a last warning from tzdb pages, that I didn't yet silence,
since it seems to make sense, I think. Here it is:
$ make tmp/lint/man8/zic.8.lint-man.mandoc.touch V=1
LINT (mandoc) tmp/lint/man8/zic.8.lint-man.mandoc.touch
! (mandoc -man -Tlint man8/zic.8 2>&1 \
| grep -v 'STYLE: lower case character in document title:' \
| grep -v 'UNSUPP: ignoring macro in table:' \
| grep -v 'WARNING: cannot parse date, using it verbatim: TH (date)' \
| grep -v 'WARNING: empty block: UR' \
| grep -v 'WARNING: missing date, using "": TH' \
| grep -v 'WARNING: undefined escape, printing literally: \\\\' \
||:; \
) \
| grep '.' >&2
mandoc: man8/zic.8:100:5: WARNING: tab in filled text
mandoc: man8/zic.8:100:20: WARNING: tab in filled text
mandoc: man8/zic.8:100:21: WARNING: tab in filled text
mandoc: man8/zic.8:122:5: WARNING: tab in filled text
mandoc: man8/zic.8:122:20: WARNING: tab in filled text
mandoc: man8/zic.8:122:21: WARNING: tab in filled text
make: *** [lib/lint-man.mk:88: tmp/lint/man8/zic.8.lint-man.mandoc.touch] Error 1
What should we do with this warning?
This seems somewhat related to <https://lists.gnu.org/archive/html/groff/2022-08/msg00012.html>.
Cheers,
Alex
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
