Current-Users archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Does anyone use checknr(1)?



On Fri, May 24, 2024 at 10:00:47PM +0200, Roland Illig wrote:
> Does anyone use this tool? Is it worth keeping?

I'm quite surprised to learn that we have a man page
linter that isn't mandoc(1).  I think we all use that instead?


Home | Main Index | Thread Index | Old Index