Re: All caps .TH page title

[Alejandro Colomar]

Hi Bjarni,

On 8/2/22 02:13, Bjarni Ingi Gislason wrote:
>    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

Yes, filtering out the unwanted text is trivial.

The thing is that I'm running mandoc(1) from a Makefile, which means 
that not only stdout/stderr is important, but also the exit status. 
There's no trivial way to ignore mandoc(1)'s error code for certain 
warnings.  Also, I run it for a few thousands of manual pages, so I 
don't want make(1) to stop at every page that triggers an unwanted 
warning.  But I do want make(1) to stop at errors/warnings in general.

<https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/tree/lib/lint-man.mk#n54>

I can still run something like what I ran yesterday to have an overview 
of the warnings:

$ make -i lint-man-mandoc \
  | grep -v UNSUPP.*ignoring.macro.in.table

But that's not ideal, because I want make(1) to stop at errors.


Cheers,

Alex

--
Alejandro Colomar
<http://www.alejandro-colomar.es/>

OpenPGP_signature
Description: OpenPGP digital signature