Perhaps a mention in ports(7) about adding the ports man dir to /etc/man.conf? The thought of an /etc/rc.d/ports or something in rc.* crossed my mind as well.
Stu > ---------- Original Message ---------- > From: Ingo Schwarze <[email protected]> > Date: June 23, 2018 at 3:13 PM > > > Hi Marc, > > Marc Espie wrote on Sat, Jun 23, 2018 at 07:37:25PM +0200: > > > It would still be *very cool* if we could have optional paths in > > man confs, just so that man would find /usr/ports/infrastructure/man > > if it's around, and not give errors if it's not... > > > > Just having to add that on each ports build machine is a pain in the butt > > That is relatively unrelated to what Stuart Cassoff and myself were > discussing, which was (1) ports manual pages as opposed to > infrastructure manual pages and (2) where to install them as opposed > to whether to search them by default. > > That said, the question whether to search /usr/ports/infrastructure/man/ > by default was discussed before. I was mildly in favour of it, but > there was no consensus that people wanted it, so in the end, we stopped > doing it: > > > RCS file: /cvs/src/etc/Attic/man.conf,v > [...] > revision 1.22 > date: 2015/01/20 19:17:28; author: schwarze; state: Exp; lines: +2 -3 > Do not use /usr/ports/infrastructure/man/ by default because this > directory is not contained in OpenBSD base, and because even people > having the directory often don't understand that they need to run > makewhatis(8) - and instead complain about the resulting warnings. > This commit reverts revisions 1.17 and 1.21. > > Requested by deraadt@ millert@ kettenis@ who argue that people > using /usr/ports/infrastructure/bin/ already need to set PATH, > so editing man.conf (or, though more fragile, setting MANPATH) > should not be a big deal for them. > ---------------------------- > revision 1.21 > date: 2014/12/09 05:55:42; author: schwarze; state: Exp; lines: +3 -2 > If it exists, use /usr/ports/infrastructure/man/ by default for apropos(1); > we already used it by default for man(1) before. > While here, fix the order of Xenocara and ports. > ok millert@ sthen@ > ---------------------------- > [...] > revision 1.17 > date: 2011/04/11 14:45:41; author: sthen; state: Exp; lines: +2 -2; > allow man(1) to find the ports/infrastructure manpages by default. > ok dcoppa@ phessler@ jasper@ landry@ rpointel@ giovanni@ ajacoutot@ henning@ > no problem jmc@ > > > Nowadays, including it by default would be done by MANPATH_DEFAULT > in manpath.c, not via /usr/src/etc/man.conf, which no longer exists. > But unless deraadt@ millert@ kettenis@ speak up, i assume that > there still isn't consensus that we want that directory searched > by default. > > Yours, > Ingo > > P.S. > If we wanted the directory searched by default, the warning that > /usr/ports/infrastructure/man/ does not contain mandoc.db(5) before > the first weekly(8) run could certainly be suppressed in some way. >
