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
No comments:
Post a Comment