Re: mandoc: -Tlint: spurious warning about empty IP macro

2022-11-10 Thread G. Branden Robinson
Hi Alex, At 2022-11-10T11:40:26+0100, Alejandro Colomar wrote: > On 11/10/22 09:56, G. Branden Robinson wrote: > Not really. .P (or .PP, which I did try) would break the formatting. > Let's show a bit mre of the current page: > >• The underlying filesystem must support ID‐mapped mounts.

Re: mandoc: -Tlint: spurious warning about empty IP macro

2022-11-10 Thread Alejandro Colomar
On 11/10/22 09:56, G. Branden Robinson wrote: At 2022-11-10T00:31:27+0100, Alejandro Colomar wrote: mandoc: man2/mount_setattr.2:644:2: WARNING: skipping paragraph macro: IP empty I suspect this warning did not anticipate that a paragraphing macro might be used solely for its spacing functio

Re: mandoc: -Tlint: spurious warning about empty IP macro

2022-11-10 Thread G. Branden Robinson
Hi Alex, At 2022-11-10T00:31:27+0100, Alejandro Colomar wrote: > mandoc: man2/mount_setattr.2:644:2: WARNING: skipping paragraph macro: > IP empty I suspect this warning did not anticipate that a paragraphing macro might be used solely for its spacing function, which is not redundant with an adja

mandoc: -Tlint: spurious warning about empty IP macro

2022-11-09 Thread Alejandro Colomar
[groff@ CCd since they may help] Hi Ingo, I had been ignoring the mandoc linter that I added to the Linux man-pages because it had a lot of spurious warnings, but I finally managed to do something with which I'm happy: $(_LINT_man_mandoc): $(_LINTDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% |