[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: All caps .TH page title
From: |
Bjarni Ingi Gislason |
Subject: |
Re: All caps .TH page title |
Date: |
Tue, 2 Aug 2022 00:13:27 +0000 |
On Tue, Aug 02, 2022 at 12:58:41AM +0200, Alejandro Colomar wrote:
>[...]
> Would you mind disabling the following warning?:
>
> mandoc: man3type/regex_t.3type:7:5: STYLE: lower case character in document
> title: TH regex_t
>
> :)
>
> Also, may I make you reconsider allowing one to disable specific warnings?
> There are a lot of empty UR blocks in the Linux man-pages, and I don't
> consider that a wrong thing. Also, we use macros in tables, which mandoc(1)
> doesn't support (yet? never?), but that's not a big issue to the man-pages I
> maintain. Yet I want to lint the pages with mandoc(1) for other
> interetsting warnings.
>
> Is that too hard to implement?
>
>
[...]
It is simpler to use a filter, like
#!/bin/dash
mandoc -T lint $* | sed -e '/cannot parse date, using it verbatim:/d' \
-e '/empty block: UR$/d' \
-e '/: \.so is fragile, better use ln/,+3 d' \
-e '/: ignoring macro in table: /d' \
-e '/: invalid escape sequence: /d' \
-e '/: lower case character in document title: /d' \
-e '/: unsupported roff request: /d' \
-e '/: missing date, using today/d' \
-e '/: line scope broken: BR breaks SM/d' | \
sort -t: -k3n,3n
Re: All caps .TH page title, Ingo Schwarze, 2022/08/02