On 2015/04/20 11:27, Craig Skinner wrote: > On 2015-04-18 Sat 16:21 PM |, Theo de Raadt wrote: > > > > If the ports infrastructure manual pages were simply part of a package > > that is neccessary for building ports, then the manuals could show up > > in /usr/local/man, removing the need for any configuration. > > > > Slick idea. > -- > Cat, n.: > Lapwarmer with built-in buzzer. >
"A package that is necessary for building ports" slight chicken and egg problem here.
