Hi Marc, Marc Espie wrote on Sun, Jul 29, 2018 at 02:58:06PM +0200:
> manpages-check was mostly mine back when I was in charge of makewhatis > Guess you have your own method instead :) Not really - i must admit i rarely check how makewhatis(8) gets along with ports manual pages at all, and i hear few complaints, so i think it seems reasonably robust without constant checking. Now that i *did* have a quick look at "makewhatis -p /usr/local/man", i realize there are some things that are broken and that i have to fix - but these problems are typically minor from a user perspective. It seems i should maybe also do some bugfixing and cleanup in the makewhatis -p functionality itself, which seems to have rotten a bit because i use it rarely. In general, the "mandoc -Tlint -Werror" which is already recommended on https://www.openbsd.org/faq/ports/specialtopics.html#Mandoc is much more powerful for identifying manual pages broken in ways that actually harm users. Either way, i don't really want to put additional workload on porters' shoulders by asking them to run yet another target while preparing a port for commit, so i deleted the target. At some point, it might be useful to look at an instance of /usr/local/man/ with all existing ports installed and figure out which problems are actually common in practice, then figure out how to reduce their incidence without making porting harder. Maybe that's a thing i should do at some ports hackathon... Yours, Ingo
