Hi Bjarni, On 2/2/22 01:32, Bjarni Ingi Gislason wrote: > A usable tool is "mandoc -T lint". Irrelevant output is just weeded > out with a filter.
I like that one too. It catches .IP followed by .PP. I'll add it; I'll use both tools. And for man-pages(7) too. I'll CC you both when I add it to the man-pages(7) Makefile, in case you may want to comment. BTW, to whoever it may concern, when you release groff-1.23 (you know, maybe tomorrow, maybe next decade :), tell mandoc(1) people to add .MR ;). Thanks! Alex --- $ mandoc -T lint share/man/man6/chess-init.6 mandoc: share/man/man6/chess-init.6:10:2: ERROR: skipping unknown macro: .MR chess\-init 6 mandoc: share/man/man6/chess-init.6:12:2: WARNING: skipping paragraph macro: IP empty -- Alejandro Colomar Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/ http://www.alejandro-colomar.es/
