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
